Subject: why?

From: zimoun <[email-masked]>
Date: Fri, 21 Feb 2020 17:39:48 +0100

Hi Ricardo,

Why did you pushed your commits instead of mines?
Especially when they had not fallen in the crack.

I sent them the October 30, 2019.
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=37988

And you commented them the same day:
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=37988#26

I modified one the November 5th, 2019:
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=37988#47

And you committed and pushed the same packages on the December, 15th.

Cheers,
simon