On Thu, 3 Nov 2022 16:51:47 GMT, Mark Powers <mpow...@openjdk.org> wrote:
>> Xue-Lei Andrew Fan has updated the pull request incrementally with one >> additional commit since the last revision: >> >> typo correction > > Is this improvement also derived from the paper by Renes, Costello, and > Batina? @mcpowers @ferakocz Did you have further comments, or more time for the review? ------------- PR: https://git.openjdk.org/jdk/pull/10893
