From: Jens Vollinga <jensv@balin.nikhef.nl>
Date: Thu, 27 Mar 2008 10:15:39 +0000 (+0100)
Subject: Merge commit 'origin/ginac_1-4' into ginac_1-4
X-Git-Tag: release_1-4-2~4
X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?a=commitdiff_plain;h=eb9e62507fb1d2a0d5ddfdfcc2977a57ce40ca21;p=ginac.git

Merge commit 'origin/ginac_1-4' into ginac_1-4
---

eb9e62507fb1d2a0d5ddfdfcc2977a57ce40ca21