Your message dated Mon, 31 Aug 2015 12:54:44 -0700
with message-id <CA+8g5KEWFr2_=0J+Tj5N+jQWnMZduUjOgAR4XehV0n=db6Yshw@mail.gmail.com>
and subject line Re: [bug-diffutils] bug#21023: --no-dereference
has caused the debbugs.gnu.org bug report #21023,
regarding REQUEST: --no-dereference missing from manpage + please make a short option for it
to be marked as done.

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


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