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 them on top of master as one commit? Yes, all you need to do is to issue the integrate command, just like the bot instructed [here](https://github.com/openjdk/jdk/pull/13697#issuecomment-1526469383). ------------- PR Comment: https://git.openjdk.org/jdk/pull/13697#issuecomment-1526520513
