[debbugs-tracker] Processed: close bugs 6267 and 20001

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> close 6267 25.1
bug#6267: 23.1; invalid XML in nested comments produced by comment-region
bug marked as fixed in version 25.1, send any further explanations to
address@hidden and Patrik Hägglund H <address@hidden>

> close 20001 25.1
bug#20001: Wrong commenting of comments in nXML mode
bug marked as fixed in version 25.1, send any further explanations to
address@hidden and Paul Pogonyshev <address@hidden>

>
End of message, stopping processing here.

Please contact address@hidden if you need assistance.

GNU bugs database, http://debbugs.gnu.org/