Hello, dmg <d...@turingmachine.org> writes:
> I have a patch to contribute to the website. I have an account in the > git repo, but I cannot push. > > > I am attaching the patch. I applied it, with minor tweaks, mainly related to case (org -> Org, perl -> Perl) and whitespace issues. Thank you. Regards, -- Nicolas Goaziou