Your message dated Sun, 19 Jun 2011 13:19:59 +0200
with message-id <201106191320.00530.stefano.lattarini@gmail.com>
and subject line Re: bug#8896: [PATCH] doc: replace obsolete @vindex entry with a useful one
has caused the GNU bug report #8896,
regarding [PATCH] doc: replace obsolete @vindex entry with a useful one
to be marked as done.

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


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