On Mon, Feb 17, 2020 at 12:00:35PM +0100, Kamil Rytarowski wrote: > I propose to merge src and xsrc into a single source tree. Let's keep things as is for now and not add more moving parts. That can change at a later point, but right now it would just create pain for little gain. Joerg