On Tue, 25 Nov 2025 17:55:41 GMT, kabutz <[email protected]> wrote:

>> Viktor Klang has updated the pull request incrementally with one additional 
>> commit since the last revision:
>> 
>>   Changes after code review
>
> Maybe /contributor Dr Heinz M. Kabutz <[email protected]> ? I'm 
> surprised that @kabutz did not work, since I have contributed before.

@kabutz Adding that worked.

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

PR Comment: https://git.openjdk.org/jdk/pull/28479#issuecomment-3580521422

Reply via email to