On Wed, 8 Dec 2021 15:36:36 GMT, Weijun Wang <[email protected]> wrote:
> Add check on `xpointer(id('name'))` format.
Marked as reviewed by mullan (Reviewer).
-------------
PR: https://git.openjdk.java.net/jdk/pull/6769
On Wed, 8 Dec 2021 15:36:36 GMT, Weijun Wang <[email protected]> wrote:
> Add check on `xpointer(id('name'))` format.
Marked as reviewed by mullan (Reviewer).
-------------
PR: https://git.openjdk.java.net/jdk/pull/6769