On Thu, 8 Oct 2020 14:01:26 GMT, Bob Vandette <b...@openjdk.org> wrote:
>> Severin Gehwolf has updated the pull request incrementally with one >> additional commit since the last revision: >> >> Return false in case of no pattern match > > Marked as reviewed by bobv (Committer). Thanks for the review! ------------- PR: https://git.openjdk.java.net/jdk/pull/485