summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Add missing dependencies wrt bug #543610.Michael Palimaka2015-03-171-2/+4
* fix deps (bug #539008); version bumpBen de Groot2015-02-061-0/+38