Control: tags -1 + patch On Fri, Dec 01, 2023 at 10:48:23PM +0100, Chris Hofstaedtler wrote: > For the ongoing UsrMerge effort [1], /lib needs to become "empty", IOW no > package should install a file there. Instead, files should be installed > into /usr/lib. Here is a trivial patch. Chris