On 10/12/18 11:23 PM, Karl Fogel wrote:
> Would you mind combining this into one patch, since this is conceptually one change, and using the commit message guidelines as given in CONTRIBUTE (see the section "** Commit messages")?

Hello, here is the change in one single patch, and a few changes to 
commit message.

Regards
Pierre-Yves