Processed: Re: xmltex: ampersands in XML attributes do not get quoted correctly

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> merge 255241 175878
Bug #255241 [xmltex] ampersand entities in XML documents break pdfxmltex
Bug #255241 [xmltex] ampersand entities in XML documents break pdfxmltex
There is no source info for the package 'xmltex' at version '1.9-5' with architecture ''
Unable to make a source version for version '1.9-5'
Marked as found in versions 1.9-5.
Added tag(s) upstream.
Bug #175878 [xmltex] xmltex: ampersands in XML attributes do not get quoted correctly
Merged 175878 255241
> stop
Stopping processing here.

Please contact me if you need assistance.
-- 
175878: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=175878
255241: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=255241
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems