On Fri, 30 Jun 2023 17:30:56 GMT, Robbin Ehn <rehn at openjdk.org> wrote: >> This trivial patch moves the same macros to a common header file. > > Looks good, thanks. Thanks for your review, @robehn ! ------------- PR Comment: https://git.openjdk.org/jdk/pull/14733#issuecomment-1614967876