On Fri, 16 Dec 2022 19:39:12 GMT, Phil Race <[email protected]> wrote:
>> Yes, I believe it is really needed. Extracting colored outlines wouldn't >> work without it. > > OK, I will submit a PR to take care of this soon. Thank you. ------------- PR: https://git.openjdk.org/jdk/pull/4798
