On Thu, 27 Aug 2020 12:41:42 GMT, Weijun Wang <weijun at openjdk.org> wrote: > Add two lines and expand one. Thanks for the update! ------------- Marked as reviewed by rwestberg (Reviewer). PR: https://git.openjdk.java.net/skara/pull/747