← Back to team overview

yade-users team mailing list archive

Re: [Question #679544]: Best way to fix typos in documentation: source edit + git push?

 

Hi Bruno,

Bruno Chareyre Mon, 29 Apr 2019 21:53:51 +0200
 > Give me your gitlab.com name. :)

That would be `GLorieul`

Gaël

References