Thanks, Hannes. Surprisingly enough, the copyright header was missing. I added it before pushing.
> On 22 Jan 2020, at 13:15, Hannes Wallnöfer <[email protected]> > wrote: > > Nice. +1 > > Hannes > > >> Am 22.01.2020 um 12:58 schrieb Pavel Rappo <[email protected]>: >> >> Hello, >> >> Please review the following (documentation) change for >> https://bugs.openjdk.java.net/browse/JDK-8233795: >> >> http://cr.openjdk.java.net/~prappo/8233795/webrev.00/ >> >> The detailed explanation can be found in the description in the JBS issue. >> >> Thanks, >> -Pavel >> >
