Re: [gentoo-dev] Pull request related to the "GLEP81 and /home" discussion

[Ralph Seichter]

https://github.com/gentoo/gentoo/pull/13265

As requested by David, I have added the proxy-maint team a week ago. Can
somebody now please merge the pull request? The CI notes are unrelated.

Thank you.

-Ralph