On Mon, 16 Dec 2019 11:46:57 GMT, Ajit Ghaisas <aghai...@openjdk.org> wrote:
>> The pull request has been updated with 1 additional commit. > > hmm ... think that the bot isn't yet clever enough: this pull request needs approval of two reviewer with _review_ role (mine is only informal) ------------- PR: https://git.openjdk.java.net/jfx/pull/6
