On Tue, 20 Jun 2023 18:36:40 GMT, Volker Simonis <simo...@openjdk.org> wrote:
>> Thomas Stuefe has updated the pull request incrementally with one additional >> commit since the last revision: >> >> feedback Volker and Roger > > Still good :) Thanks @simonis and @RogerRiggs ! ------------- PR Comment: https://git.openjdk.org/jdk/pull/14531#issuecomment-1600070827
