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

[#165] Changed the name of the PDF document #167

Merged

tomjenkinson merged 1 commit into jakartaee:master from tomjenkinson:pdfname

Sep 18, 2020

Contributor

tomjenkinson commented Sep 18, 2020

No description provided.


          [jakartaee#165] Changed the name of the PDF document

86ba51e

jgallimore approved these changes

View reviewed changes

Contributor Author

tomjenkinson commented Sep 18, 2020

retest this please

Contributor Author

tomjenkinson commented Sep 18, 2020

Thanks for the review - I am merging

tomjenkinson merged commit b5c8f96 into jakartaee:master

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