On Mon, 03/05 11:51, Alberto Garcia wrote: > On Mon 05 Mar 2018 10:40:06 AM CET, Stefan Hajnoczi wrote: > > +A 'git-profile' utility was created to make above process less > > +cumbersome, and is highly recommended for making regular > > contributions, > > A 'git-profile' utility ? Did you want to say 'git-publish' there?
Oops. Apparently, yes. Fam
