Your bug report #70798: [PATCH] guix-install.sh: add ~/.guix-profile/share/info to INFOPATH which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 70798@debbugs.gnu.org. -- 70798: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=70798 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems