Le 12/09/2022 à 09:06, Torbjorn SVENSSON a écrit :
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!
No problem, I will do it the next time I synchronize my work tree, but
it will have to wait a few days until that time.
