Control: tags -1 + trixie On Tue, 20 Nov 2018 at 22:38:21 +0100, Michael Biebl wrote: > since late-mounted /usr is no longer supported, the artifical split > between /lib and /usr/lib no longer is really useful. > Therefor please consider moving the libraries to /usr/lib.
As per https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=994388#110 please don't make this change at the moment: there's a risk of it disrupting the transition to merged-/usr. Thanks, smcv