New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Brings XSD up to date #38

Merged

garanj merged 1 commit into main from xsd-updates

Jul 25, 2024

Collaborator

garanj commented Jul 25, 2024

Brings XSD up to date with internal sources:

Correct missing BOLD font weight
Removes erroneous tag inclusion


          Brings XSD up to date

0757ba7

garanj requested a review from lucianbc

July 25, 2024 09:28

lucianbc approved these changes

View reviewed changes

garanj merged commit ee39265 into main

4 checks passed

garanj deleted the xsd-updates branch

July 25, 2024 09:31

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet