Help requested on pushing 8241556 to 11u-dev

[Man Cao]

Thanks, Jiangli!

-Man


On Thu, Apr 9, 2020 at 5:17 PM Jiangli Zhou <jianglizhou at google.com> wrote:

> Hi Man,
>
> I'll help you.
>
> Best,
> Jiangli
>
> On Thu, Apr 9, 2020 at 5:15 PM Man Cao <manc at google.com> wrote:
> >
> > Hi,
> >
> > Could anyone help me push this change to 11u-dev?
> > https://cr.openjdk.java.net/~manc/8241556/webrev.01/jdk11uDev.changeset
> >
> > Original bug: https://bugs.openjdk.java.net/browse/JDK-8241556
> > Original change:
> https://hg.openjdk.java.net/jdk/jdk/raw-rev/2502db745df8
> >
> > The only conflicts are the copyright years in the header comment.
> > I have run all tier1 tests and no new failure on my x86_64 Linux machine.
> > (I'm a Committer on the jdk project, but not on the jdk-updates project
> > yet.)
> >
> > -Man
>