Bug#1064887: dash: move files to /usr for DEP17

On Tue, Feb 27, 2024 at 11:22:18AM +0100, Helmut Grohne wrote: > Source: dash > Version: 0.5.12-6 > Tags: patch moreinfo > > Do not upload this patch to unstable yet! [..] > I'm happy to have it reviewed already and don't have a > concrete date for uploading yet, because we need to wait for

Bug#1064887: dash: move files to /usr for DEP17

Source: dash Version: 0.5.12-6 Tags: patch moreinfo User: helm...@debian.org Usertags: dep17m2 Do not upload this patch to unstable yet! We want to finalize the /usr-merge transition by moving all aliased files from / to /usr via DEP17 to avoid negative effects arising from aliasing. dash is