scala/scala — pull request #3875 by pocket7878 (2014-07-12 14:49:38+00:00)
Title: Fix encoding to show euro-sign of doc-source-url option correctly.

review @vladureche