Singular/Sources — pull request #280 by malex984 (2013-02-19 19:32:39+00:00)
Title: Adapting commits from master minors

viewLog.html?buildId=4177&tab=buildResultsDiv&buildTypeId=bt7