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

[Severin Gehwolf]

On Mon, 2021-02-08 at 10:08 +0000, Langer, Christoph wrote:
> 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.

Thanks, Christoph! This info is much appreciated. I (for one) hadn't
noticed... :-/

Cheers,
Severin