On Mon, 20 Nov 2023 17:46:53 GMT, Joe Wang <jo...@openjdk.org> wrote:
>> Implement the built-in Catalog. > > Joe Wang has updated the pull request incrementally with one additional > commit since the last revision: > > add a note; fix alignment I'm happy with the addition of the JDK built-in catalog, the inclusion of the DTD defined by Java SE, and the docs updates. ------------- Marked as reviewed by alanb (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/16719#pullrequestreview-1743867203