Merge branch 'master' of git://github.com/AlexeiSheplyakov/GiNaC
authorAlexei Sheplyakov <Alexei.Sheplyakov@gmail.com>
Thu, 23 Feb 2012 15:44:00 +0000 (17:44 +0200)
committerAlexei Sheplyakov <Alexei.Sheplyakov@gmail.com>
Thu, 23 Feb 2012 15:44:00 +0000 (17:44 +0200)

Trivial merge