On Tue, 28 Feb 2023 17:55:39 GMT, Christoph Langer <clan...@openjdk.org> wrote:

> Makes sense.

Hi Christoph, thanks for the review !  
May I have a second review ?

Thanks, Matthias

-------------

PR: https://git.openjdk.org/jdk/pull/12788

Reply via email to