On Wed, 22 Jan 2020 17:13:54 GMT, Erik Helin <ehelin at openjdk.org> wrote: > Hi all, > > please review this small patch that adds a link to the PR in webrevs. > > Thanks, > Erik Looks good! ------------- Marked as reviewed by rwestberg (Reviewer). PR: https://git.openjdk.java.net/skara/pull/374