RFC [10]: jdk 10.0.2 merge

[Roman Kennke]

Am 17.07.2018 um 22:28 schrieb Aleksey Shipilev:
> Upstream had pushed 10.0.2+13 and Oracle published their 10.0.2 binaries:
>   http://hg.openjdk.java.net/jdk-updates/jdk10u/
> 
> Let's pick that up to sh/jdk10:
>   http://cr.openjdk.java.net/~shade/shenandoah/merge-jdk10-2/merge-changesets.txt
> 
> Testing: tier3_gc_shenandoah

Seems good.

Do we have any desire/reason to track/merge from tag to tag and create
exact corresponding shenandoah-tags like we do for 11 and 12 now?

Roman