RFC: jdk/jdk10 -> sh/jdk10 merge

[Aleksey Shipilev]

On 11/22/2017 01:06 PM, Roman Kennke wrote:
> Am 22.11.2017 um 12:56 schrieb Aleksey Shipilev:
>> Hi,
>>
>> We have prepared a (very painful) merge from jdk/jdk to sh/jdk10:
>>    2991 files changed, 130102 insertions(+), 177022 deletions(-)
>>
>> ...where Hotspot changes are:
>>     671 files changed, 14242 insertions(+), 24451 deletions(-)
>>
>> If you are curious, these are the changes that merge brings:
>>    http://cr.openjdk.java.net/~shade/shenandoah/merge-jdk-jdk-2017-11-22/hotspot.patch
> 
> Please do it.

Pushed. Have fun!

-Aleksey