From: Jens Vollinga <jensv@balin.nikhef.nl>
Date: Thu, 27 Mar 2008 10:16:11 +0000 (+0100)
Subject: Merge commit 'origin/master'
X-Git-Tag: release_1-5-0~107
X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?a=commitdiff_plain;h=83a7ee99a947cbbf331018b803ad6be43a9ccd45;p=ginac.git

Merge commit 'origin/master'
---

83a7ee99a947cbbf331018b803ad6be43a9ccd45