[go: up one dir, main page]

Minor fixes for Tenderbake cleanup

!4423 (merged) still has some little glitches here and there as pointed out by a post-merger review of the MR.

Let us take them into account.

Here are the links to the relevant comments

Edited by Richard Bonichon