bug fix --> new version  Please enter the commit message for your changes. Lines starting
bug fix --> new version
 Please enter the commit message for your changes. Lines starting

DrXyzzy/smc,sagemathinc/smc,sagemathinc/smc,DrXyzzy/smc,tscholl2/smc,sagemathinc/smc,tscholl2/smc,sagemathinc/smc,tscholl2/smc,tscholl2/smc,DrXyzzy/smc,tscholl2/smc,DrXyzzy/smc