Gentoo Archives: gentoo-dev

From:	Ralph Seichter <gentoo@××××××××.de>
To:	gentoo-dev@l.g.o
Subject:	Re: [gentoo-dev] Pull request related to the "GLEP81 and /home" discussion
Date:	Fri, 31 Jan 2020 16:02:11
Message-Id:	`87d0azlims.fsf@wedjat.horus-it.com`
In Reply to:	Re: [gentoo-dev] Pull request related to the "GLEP81 and /home" discussion by Ralph Seichter

1	https://github.com/gentoo/gentoo/pull/13265
2
3	As requested by David, I have added the proxy-maint team a week ago. Can
4	somebody now please merge the pull request? The CI notes are unrelated.
5
6	Thank you.
7
8	-Ralph