On Fri Jan 13 10:16:55 2023 +0000, Rémi Bernon wrote:
FWIW, in general and for future changes, I think it's best to split MRs the other way, as most of the threading discussion happened on this one, in order to keep the comments with the changes for which they are most meaningful.
Yep. I'll still try to work on all the stuff mentioned here, so the other MR isn't too depending on this one.