On Fri, 2020-07-17 at 09:18 +0000, Lindenmaier, Goetz wrote: > > (All taking aside that this change is trivial, and Christian H. > reviewed it) Yes, agreed. Because of that I suggest to to use the least-painful way for you as the backport dev. Use your good judgement. Thanks, Severin