Skip to content

update the tool XSD file#915

Merged
nsoranzo merged 2 commits intomasterfrom
xsd
Feb 26, 2019
Merged

update the tool XSD file#915
nsoranzo merged 2 commits intomasterfrom
xsd

Conversation

@bgruening
Copy link
Member

for a 19.01 release

@bgruening bgruening requested a review from nsoranzo February 25, 2019 19:07
@nsoranzo nsoranzo merged commit 65b6263 into master Feb 26, 2019
@nsoranzo nsoranzo deleted the xsd branch February 26, 2019 11:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants