On Wed, May 06, 2026 at 07:11:23AM +0100, Colin Watson wrote: > On Tue, Apr 21, 2026 at 11:59:41PM +0200, Santiago Vila wrote: > > Hi. I've pushed a fix for this to salsa, but I leave the final upload to > > others. Thanks. > > Sorry for not noticing this until after you uploaded. I had a look and > noticed that the "nodoc" profile was broken, so I made a follow-up upload > (2.0.2-3) to fix that.
No problem. This also happened to me sometimes, where I had a local fix for a non-RC bug ready which I did not even bother to push.
