Processed: Re: Bug#929752: Changing quote signs in GPL allowed? [Was: Bug#929752: installation-guide: left quotes in gpl.xml are not correctly rendered in pdf ]

[Debian Bug Tracking System]

Processing control commands:

> tags -1 + pending
Bug #929752 [src:installation-guide] Replace grave accents/single quotes by 
<quote></quote> in gpl.xml
Added tag(s) pending.

-- 
929752: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=929752
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems