]> git.donarmstrong.com Git - debian-ctte.git/commitdiff
merged usr: Be more careful to distinguish between usrmerge and merged /usr
authorSimon McVittie <smcv@debian.org>
Mon, 4 Feb 2019 15:05:15 +0000 (15:05 +0000)
committerSimon McVittie <smcv@debian.org>
Mon, 4 Feb 2019 15:05:15 +0000 (15:05 +0000)
Merged /usr is a system design, and usrmerge is one implementation of
that design. If we were to de-support merged /usr, it would affect all
users with a merged /usr equally, regardless of how they got there.


No differences found