Singular/Sources — pull request #621 by mmklee (2014-07-22 16:04:41+00:00)
Title: fix: compilation without NTL

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