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. If we do that, it should happen with the switch to hg. Martin