On 5/7/20 4:03 PM, Daniel D. Daugherty wrote: > Thumbs up. Also, this fix is trivial and does not have to wait for 24 hours > to be pushed. Thanks. Given prior experience with weird include circularities, I'll wait for jdk-submit to clear. -- Thanks, -Aleksey