Done. As always, somebody has to review my update and publish it… :)
> On 7 Jan 2019, at 09:03, Konrad Windszus <[email protected]> wrote: > > @Radu: Can you update the JDK bug with that information? I unfortunately > cannot comment on that.
Done. As always, somebody has to review my update and publish it… :)
> On 7 Jan 2019, at 09:03, Konrad Windszus <[email protected]> wrote: > > @Radu: Can you update the JDK bug with that information? I unfortunately > cannot comment on that.