Hi Jon,
It looks good to me as well (not an official reviewer though :-)),
Jc
On Tue, Jun 4, 2019 at 5:09 PM wrote:
> Hi Jon,
>
> Looks good to me.
>
> Thanks,
> Serguei
>
>
> On 6/4/19 2:42 PM, Jonathan Gibbons wrote:
> > Please review another small patch for the jdk.jdi module, to fix a
> > m
Hi Jon,
Looks good to me.
Thanks,
Serguei
On 6/4/19 2:42 PM, Jonathan Gibbons wrote:
Please review another small patch for the jdk.jdi module, to fix a
missing heading in one file and to adjust a heading in another.
No webrev; patch below.
That being said, the file
src/jdk.jdi/share/class
+1
> On Jun 4, 2019, at 5:42 PM, Jonathan Gibbons
> wrote:
>
> Please review another small patch for the jdk.jdi module, to fix a missing
> heading in one file and to adjust a heading in another.
>
> No webrev; patch below.
>
> That being said, the file
> src/jdk.jdi/share/classes/com/sun/jd
