Re: [Ghm-discuss] Announcement to gnu-prog@gnu.org

[Jose E. Marchesi]

    >     Would one of the organizers like to send info about the upcoming GHM 
to
    >     gnu-p...@gnu.org, so all maintainers see it?
    >     
    > Hm.  I think I did that long ago?  Or maybe I only sent to
    > gnu-prog-discusss@?
    
    I don't see any message to gnu-prog in 2018 or 2019.
    
Urgh, seems like I only sent to gpd.
Ok, I just sent the announcement to gnu-prog@.