From: Simon McVittie <smcv@debian.org>
Date: Mon, 4 Feb 2019 15:05:15 +0000 (+0000)
Subject: merged usr: Be more careful to distinguish between usrmerge and merged /usr
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=93396e9c3f432c23016c379f44a0aa9e003056a8;hp=93396e9c3f432c23016c379f44a0aa9e003056a8;p=debian-ctte.git

merged usr: Be more careful to distinguish between usrmerge and merged /usr

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.
---