openjdk: 12.0.2 -> 13.0.2#70983

Merged

7 commits merged intoNixOS:masterfrom

jerith666:jdk-13

Mar 20, 2020

Commits on Oct 12, 2019

Commits on Oct 17, 2019

openjdk: 12.0.2 -> 13.0.1
jerith666
committed

Commits on Mar 9, 2020

Commits on Mar 20, 2020

Merge remote-tracking branch 'channels/nixos-unstable' into jdk-13
jerith666
committed
jetbrains-jdk: derive expression for 11.0.6 from openjdk11 rather than openjdk12
jerith666
committed