Processing commands for control@bugs.debian.org: > tags 713307 + pending Bug #713307 [src:vera] vera: FTBFS: texinfo errors Added tag(s) pending. > thanks Stopping processing here. Please contact me if you need assistance. -- 713307: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=713307 Debian Bug Tracking System Contact owner@bugs.debian.org with problems