On 2/21/21 7:20 PM, Bruno Haible wrote: > The following people still have write access to the gnulib repository [...]
Just out of curiosity: where can one see who has write permissions? In the 'memberlist' in Savannah https://savannah.gnu.org/project/memberlist.php?group=gnulib or somewhere else? Thanks & have a nice day, Berny