On 04.02.22 10:26, Thorsten Leemhuis wrote: > Anyway: I no big deal (just makes regression tracking a lot harder), I > can tell regzbot manually about the fix: > > #regzbot introduced: 50317b636e7184d Argh, sorry, stupid me doesn't known how to use his own bot: #regzbot introduced: fa62f39dc7e2 #regzbot fixed-by: 50317b636e7184d :-/ Sorry for the noise. Ciao, Torsten
