11u: Push of JDK-8210192 to jkd11u repository

[Man Cao]

Apologies for our uneducated push. We were unaware of the change in push
policy for jdk11u.
Thank you for taking that patch in 11.0.3 instead of rolling it back!

-Man


On Fri, Mar 1, 2019 at 6:27 AM Andrew Haley <aph at redhat.com> wrote:

> On 3/1/19 9:05 AM, Langer, Christoph wrote:
> > Maybe, for the moment, we can claim it's a lack of education and the
> process just changed.
>
> That's what I thought too.
>
> --
> Andrew Haley
> Java Platform Lead Engineer
> Red Hat UK Ltd. <https://www.redhat.com>
> EAC8 43EB D3EF DB98 CC77 2FAD A5CD 6035 332F A671
>