On 2026-09-06, Martijn Kruithof via dev wrote: > Checked differences to 1.10.17 as tagged in git, and checked and found > differences between source distribution and git.
> Please make sure the right version ends up in git and is tagged.
This should now be the case, at least for me they now match.
Thanks
Stefan
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
