commit | 11c55f055a2b3d756e03b5b096ed3fb4c1c22b1f | [log] [tgz] |
---|---|---|
author | Jonathan Gallimore <jon@jrg.me.uk> | Tue Apr 28 12:12:04 2020 +0100 |
committer | GitHub <noreply@github.com> | Tue Apr 28 12:12:04 2020 +0100 |
tree | 55470478b736db0b5dec938e45368a39b546e462 | |
parent | 60be8ada6c495c50f76c27e3c49b226668b5be63 [diff] | |
parent | 37557ac8c1cdc4b9b687b4640fe1e687d1f8b726 [diff] |
Merge pull request #635 from cesarhernandezgt/jakartaee-9 jakarta-renames.properties update