Re: [scala-bts] #1488: Missing correct toString() implementation for scala.xml.dtd.PublicID

-------------------------------------------------------------------------+--
Reporter: scalll | Owner: scala-xml_team
Type: defect | Status: closed
Priority: normal | Component: XML support
Version: Scala 2.7.3 | Resolution: fixed
Keywords: PublicID DocType XML XML.saveFull XML.write xml.dtd.PublicID |
-------------------------------------------------------------------------+--
Changes (by extempore):

* status: new => closed
* version: => Scala 2.7.3
* resolution: => fixed

Comment:

This is fixed since 2.7.3.