git.gnu.io has moved to IP address 22.214.171.124 -- please double check where you are logging in.
...not entirely sure whether to allow getParent calls on Notice
objects which have not been created, but we'll leave that in for now...
Attach a file by drag & drop or click to upload
git.gnu.io is graciously hosted by the Free Software Foundation. https://donate.fsf.org