RFR: Merge shenandoah:genshen

Fri Feb 12 19:39:59 UTC 2021

On Fri, 12 Feb 2021 19:02:36 GMT, earthling-amzn <github.com+71722661+earthling-amzn at openjdk.org> wrote:

> Taking a look now. The bot suggests changing the title of this PR to indicate that it's a merge, otherwise it will be squashed. If this gets squashed, won't it make subsequent merges from master more difficult? Is it okay with you if I change the title of this PR so this goes into a `genshen` as a merge and not a giant squashed commit?

Yes, please!

-------------

PR: https://git.openjdk.java.net/shenandoah/pull/14