On Tue, 15 Dec 2020 20:46:03 GMT, Phil Race <p...@openjdk.org> wrote:
>> Prasanta Sadhukhan has updated the pull request incrementally with one >> additional commit since the last revision: >> >> name correction > > Marked as reviewed by prr (Reviewer). @prrace Did you approve the 1st version of the fix [https://openjdk.github.io/cr/?repo=jdk&pr=1182&range=00] or the current (4th) version? If 1st, is there any way to integrate the 1st version without updating the PR? ------------- PR: https://git.openjdk.java.net/jdk/pull/1182
