Re: [O] Replace deprecated org-set-local by setq-local in the documentation

[Loïc Estève]

> I applied your patch. Thank you.
>
> Unfortunately, I realized too late this was a plain patch and not
> something generated by git format-patch. Therefore, I appear as the
> author of the patch. Sorry about that.

Great, thanks a lot ! I don't care too much about authorship to be 
honest. I did try to use git format-patch but failed to get anywhere in 
less than two minutes so I eventually gave up ...

Cheers,
Loïc