On Mon, 21 Nov 2022 10:15:01 GMT, Laurent Bourgès <[email protected]> wrote:
>> Initial PR > > Laurent Bourgès has updated the pull request incrementally with one > additional commit since the last revision: > > fixed class header comment A phil approved early, I fixed comments and added a new test. Is it now good to integrate @mrserb ? ------------- PR: https://git.openjdk.org/jdk/pull/11225
