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.

Reply via email to