On 2022-09-11 21:38, Mikael Morin wrote:
Le 11/09/2022 à 18:04, Torbjorn SVENSSON a écrit :Can you fix it for me and submit it or do you want me to send a v3?For trivial things like this, there is no need for a v3 (nor was there for a v2).Do you miss a git write account and need someone to push for you?
Ok! I do not have any write access, so yes, please push it for me!