Thanks to @jlanda for the pointers.

@decathorpe Could you amend your commit to add your sign-off? git commit --amend -s should be sufficient.

:thumbsup:

Thanks Fabio :)

src.fp.o's theme is not tested. The jenkins failure is unrelated to this PR

src.fp.o's theme is not tested. The jenkins failure is unrelated to this PR

Yeah, I tried running the test suite, but it took ages and the failures looked unrelated to my change, so I gave up ...

Could you amend your commit to add your sign-off? git commit --amend -s should be sufficient.

Done. After 10 years of contributing to FOSS projects, I still don't know what it's for, but well ... it's there now.

Since this isn't covered in the tests, I'm going to merge it despite the current test results which I hope fill be fixed by #4739

Thanks for the patch!

Thanks for merging it so quickly :) Maybe I can manage to make a few more contributions going forward.

Thanks for merging it so quickly :) Maybe I can manage to make a few more contributions going forward.

You're more than welcome, thank you for fixing this!