Subject: Updating commit messages

From: Tanguy Le Carrour <[email-masked]>
Date: Mon, 14 Oct 2019 11:56:07 +0200

Based on Mathieu’s suggestions [1], I'll update this patch and
improve commit message and description.
Stay tuned! :-)

[1]: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=37598#35

-- 
Tanguy