On Mon, Mar 25, 2019 at 03:45:58PM +0100, Andreas Beckmann wrote: > In that case you should probably add Breaks+Replaces against all of the > old -dev packages that were merged, just to be on the safe side.
Yes, that is the plan. I think wferi will take care of it if he has time? -- Valentin
