[Savannah-hackers-public] gnu grep's "grep-devel" mailing list says "nongnu"

[Jim Meyering]

Hello,

Grep is a GNU project, so its "devel" list would be on gnu.org, not on
"nongnu.org":
Is that something you can help change easily? E.g.,

  https://lists.nongnu.org/archive/html/grep-devel/2017-02/msg00002.html