Singular/Sources — pull request #219 by mmklee (2012-12-05 16:43:23+00:00)
Title: fix: wrong deletion of FLINT matrices

http://snork.mathematik.uni-kl.de:31111/viewLog.html?buildId=3093&tab=buildResultsDiv&buildTypeId=bt7