On Wed, 16 Sep 2020 00:15:54 GMT, Igor Ignatyev <iignat...@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 This pull request has now been integrated. Changeset: d38c97dd Author: Igor Ignatyev <iignat...@openjdk.org> URL: https://git.openjdk.java.net/jdk/commit/d38c97dd Stats: 4 lines in 1 file changed: 0 ins; 3 del; 1 mod 8253207: enable problemlists jcheck's check Reviewed-by: erikj ------------- PR: https://git.openjdk.java.net/jdk/pull/196