scala/scala — pull request #893 by jsuereth (2012-07-12 15:30:48+00:00)
Title: Significant improvements to make-release-notes script

Specifically, it should generate exactly the HTML Toni needs for the website.

Review by @lrytz and/or @cunei