On 29.04.2022 16:09, Dario Faggioli wrote: > Do you think some of this exchange we had should end somewhere > (comments? changelogs?), to make it clearer to both future us and new > contributors why things are done this way?
It might be helpful, but beyond parts immediately relevant for the patch here (where in can go in the commit message) I'm not sure where to best put it. Of course if you'd be willing to make a patch just to add/extend a (few) comment(s) ... Jan
