Your message dated Fri, 01 Nov 2013 23:24:13 +0100 with message-id <87r4az7oc2.fsf@gnu.org> and subject line Re: bug#15756: Cannot remove a specific package output from profile has caused the debbugs.gnu.org bug report #15756, regarding Cannot remove a specific package output from profile to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 15756: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=15756 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems