scala/scala — pull request #4188 by adriaanm (2014-12-05 06:46:29+00:00)
Title: Upgrade to scala-xml v1.0.3

... to avoid having to revert the fix for SI-8253