Hi David, On Thu, Jul 10, 2025 at 10:49:45AM +0100, David Carlier wrote: > Hi and thanks, my bad but would it be possible to backport the doc patch > too ? Thanks in advance.
I don't understand, I saw it and was pretty certain it was queued as well, but checking the logs again I can't see it, so probably that it's a last minute miss. Or maybe I'm confusing with -dev. Anyway I've just backported it so it won't be missed again. Thanks for notifying us! Willy
