On 1/28/2019 8:16 AM, Roman Kennke wrote:
Isn't anything pushed to 12 (kindof) automatically pushed to 13 too,
eventually?
Yes; Jesper regularly syncs changes from 12 into 13. At times this
requires addressing merge conflicts, etc.
HTH,
-Joe
Isn't anything pushed to 12 (kindof) automatically pushed to 13 too,
eventually?
Roman
> I've seen this has just been pushed to 12 but I think we'd need this
> to 13 too, but:
>
> https://bugs.openjdk.java.net/browse/JDK-8217873
>
> has been resolved as duplicate.
>
> I can help reopening it
It will get pushed to jdk/jdk (for JDK13) on Jesper's next
sync from jdk/jdk12 -> jdk/jdk.
Dan
On 1/28/19 10:20 AM, B. Blaser wrote:
I've seen this has just been pushed to 12 but I think we'd need this
to 13 too, but:
https://bugs.openjdk.java.net/browse/JDK-8217873
has been resolved as
I've seen this has just been pushed to 12 but I think we'd need this
to 13 too, but:
https://bugs.openjdk.java.net/browse/JDK-8217873
has been resolved as duplicate.
I can help reopening it and pushing the fix to 13 if necessary?
Thanks,
Bernard
On Sat, 26 Jan 2019 at 16:47, B. Blaser wrote: