On Wed, 16 Sep 2020 13:08:17 GMT, Erik Joelsson <er...@openjdk.org> wrote:
>> problemlists[[1]] check verifies that there are no problem-list entries w/ >> the bug-id used in the commit message. >> >> [1]: https://github.com/openjdk/skara/pull/518 > > Marked as reviewed by erikj (Reviewer). thanks for your review, Erik. ------------- PR: https://git.openjdk.java.net/jdk/pull/196