On Mon, 16 Dec 2019 12:45:30 GMT, Henrik Dafgård <hdafgard at openjdk.org> wrote: >> The pull request has been updated with 1 additional commit. > > Certainly! :) ------------- PR: https://git.openjdk.java.net/jmc/pull/19