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