08.07.2023 13:10, Alex Bennée wrote: ...
Good catch - your right it's purely fixing something that has been merged in the current cycle.
That's entirely okay, - it's better to tag extra as "for-stable" and reject things than to omit something important. This is not a good catch actually - it immediately leads to a build failure, plain and obvious, and looking at previous changes in this area immediately leads to the other commit. Thank you for confirming my suspicions, and please keep the good work! /mjt
