Merge pull request #3063 from cgwalters/label-usretc-as-etc
authorColin Walters <walters@verbum.org>
Thu, 12 Oct 2023 11:57:05 +0000 (07:57 -0400)
committerGitHub <noreply@github.com>
Thu, 12 Oct 2023 11:57:05 +0000 (07:57 -0400)
commit334f53d7e3856088f0e702eb7c49f667cda2f3b4
tree2915bd0033ad9b1c426a6f0420d25a2ac5f645f5
parent6cce2e2381bded1ad7b451a58088bc511022360b
parent81c08746c6ae3c83fc7903155546ed9851c2acce
Merge pull request #3063 from cgwalters/label-usretc-as-etc

repo: Add an option to label /usr/etc as /etc