Singular/Sources — pull request #395 by mmklee (2013-10-09 14:25:09+00:00)
Title: fix: possible seg fault in factorization

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