Hi Christoph, On 1/04/2022 3:40 pm, Langer, Christoph wrote: > Hi, > > I think as of some time yesterday the flow of mails from Github PRs to the OpenJDK mailing lists has stopped. Can you please check and fix this? We are aware and it is being looked into. Cheers, David > Thanks > Christoph >