Your message dated Thu, 13 Jun 2013 13:59:48 -0400 with message-id and subject line Re: bug#14608: [feature request] option `--' for signifying end of options and beginning of the list of file names has caused the debbugs.gnu.org bug report #14608, regarding [feature request] option `--' for signifying end of options and beginning of the list of file names to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 14608: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=14608 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems