Singular/Sources — pull request #162 by steenpass (2012-08-02 16:39:37+00:00)
Title: changes in LIBs from master

These are cherry-picks of the commits
f1be07e
d3f56a2
700697e
831d9db