On Thu, 27 Apr 2023 21:04:42 GMT, Erik Joelsson <er...@openjdk.org> wrote:
>> Antonios Printezis has updated the pull request incrementally with one >> additional commit since the last revision: >> >> updated > > Marked as reviewed by erikj (Reviewer). @erikj79 Thanks! I assume the integrate command will actually squash the three commits and rebase it on top of master as one commit? ------------- PR Comment: https://git.openjdk.org/jdk/pull/13697#issuecomment-1526491980