openjdk.org in quoted text of email reply vs openjdk.java.net in From field

[Jaikiran Pai]

Noticed a minor thing in the automated RFR messages from a pull request.
When an initial RFR mail is sent from a PR, like this one[1], it uses a
<openjdkid>@openjdk.java.net for the From email address field. When the
author of the PR then replies to the mail, a quoted text is included in
the mail body, like here[2]. That quoted text (not the From field) uses
<openjdkid>@openjdk.org. Is this an intentional difference between
openjdk.java.net and openjdk.org usage?


[1]
https://mail.openjdk.java.net/pipermail/net-dev/2020-September/014336.html

[2]
https://mail.openjdk.java.net/pipermail/net-dev/2020-September/014335.html

-Jaikiran