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? Berto
