Your message dated Fri, 26 Apr 2013 20:25:06 +0200
with message-id <517AC682.8000009@gmail.com>
and subject line Re: [PATCH 0/3] dry-run: don't get confused by '-I' option
has caused the debbugs.gnu.org bug report #13760,
regarding am__make_dryrun fails to handle GNU make -I option
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
13760: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=13760
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems