On Wed, 20 Dec 2023 09:47:05 GMT, Markus KARG <d...@openjdk.org> wrote:
> Alan actually did approve them on December 15. I know, with requested changes. I didn't see the request transition to "Ready" which is where it needs to be to `/integrate`. ------------- PR Comment: https://git.openjdk.org/jdk/pull/17119#issuecomment-1864815013
