On 8/14/17 12:01 PM, Daniel D. Daugherty wrote:
> I've updated the bug to show it is fixed in "team". I've also
> fabricated an entry that looks like what "HG Updates" would
> add for those bug parser scripts...
> I'll try to keep an eye on this one when it hits JDK10/jdk10.
> It will need another manual update...