On Wed, 7 Oct 2020 09:04:01 GMT, Robin Westberg <rwestberg at openjdk.org> wrote: > This small fix avoids a few problems with the latest check updates. Looks good! ------------- Marked as reviewed by ehelin (Reviewer). PR: https://git.openjdk.java.net/skara/pull/865