On Tue, 12 May 2020 13:44:53 GMT, Ajit Ghaisas <aghai...@openjdk.org> wrote:
>> Marked as reviewed by kcr (Lead). > > @hjohn, this PR is ready to be merged. > You need to comment /integrate on this PR as instructed by the bot above. I > will sponsor it once you do it. Sorry I figured only a committer was allowed to use that command. ------------- PR: https://git.openjdk.java.net/jfx/pull/173