On Wed, Feb 18, 2026 at 04:52:02PM +0100, Andreas Tille wrote: > > Please note that I have just pushed some commits from my own, > > since the release was still in preparation. > > Argh. I hope you will not mind if I --force-push my changes which are > pretty similar to yours. But I'll include commit b71ea172 which I > do not have locally.
I don't mind, because I much prefer linear history over everything else (like weird merge commits). Thanks.
