On 2018-11-27 00:23, Emmanuel Bourg wrote: > Le 11/01/2017 à 21:37, Gilles Filippini a écrit : > >> I've just submitted #851053 against openjdk-8 on kfreebsd-*. > > #851053 has been fixed last year. I guess we can closed this bug now? Sure, thanks. _g.