On 2020-09-07 13:38, Ondrej Novy wrote: > ~10 days without reply, merged.
I'm really happy about this :-) I've always found the split odd. By the way, this might be something worth sending to debian-devel-announce, possibly including a short summary/description of how this affects contributors (what changes need to be made, etc.)