Re: [scala-bts] #1489: scala.xml.dtd.PublicID.toString should not use SYSTEM keyword

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

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

Comment:

Like #1488, fixed since 2.7.3.