Processing commands for control@bugs.debian.org: > tags 695694 + patch Bug #695694 [src:gcc-4.7] gcc-4.7: includes non-free documentation (GFDL with invariant sections) Added tag(s) patch. > thanks Stopping processing here. Please contact me if you need assistance. -- 695694: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=695694 Debian Bug Tracking System Contact owner@bugs.debian.org with problems