Heads up: jdk-updates-dev mailing list problems (resolved)

[Langer, Christoph]

Hi all,

for those who haven't been aware: Last week jdk-updates-dev had some issues and mails were not relayed to subscribers for some time.

While it seems the issue is resolved now, I suggest that people re-send mails (e.g. RFRs) once again if there's doubt that those mails have reached the desired audience.

Best regards
Christoph