Your message dated Fri, 13 Jul 2018 17:59:58 +0200 with message-id <87r2k7dt35.fsf@gnu.org> and subject line Re: [bug#32115] [PATCH 0/2] Add (guix inferior) and improve 'guix pull -l' has caused the debbugs.gnu.org bug report #32115, regarding [PATCH 0/2] Add (guix inferior) and improve 'guix pull -l' to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 32115: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=32115 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems