Invalid @openjdk.java.net mail addresses

[Tim Bell]

On 2020-09-24 06:56, Volker Simonis wrote:
> The "Volker Simonis<simonis at openjdk.java.net>" seems indeed strange.
> Maybe they have a magic mail server which translates all
> "@openjdk.java.net" addresses into real addresses?

That is exactly what I am working on.  My initial testing was 
encouraging, so stay tuned.  I need another day or two to work on the 
mapping of OpenJDK id strings to Github membership information.  In many 
cases it is not 1:1.

Tim Bell