On Mon, 9 Dec 2019 07:17:59 GMT, Robin Westberg <rwestberg at openjdk.org> wrote: >> The pull request has been updated with 1 additional commit. > > Looks good, just had a few minor text comments! Thanks Robin for reviewing! ------------- PR: https://git.openjdk.java.net/skara/pull/300