diff options
Diffstat (limited to 'debian/patches/0001-Disable-micromega-tests.patch')
| -rw-r--r-- | debian/patches/0001-Disable-micromega-tests.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/0001-Disable-micromega-tests.patch b/debian/patches/0001-Disable-micromega-tests.patch index 8857a874..5979dc6d 100644 --- a/debian/patches/0001-Disable-micromega-tests.patch +++ b/debian/patches/0001-Disable-micromega-tests.patch @@ -1,6 +1,6 @@ From: Stephane Glondu <steph@glondu.net> Date: Mon, 22 Feb 2010 10:39:03 +0100 -Subject: [PATCH] Disable micromega tests +Subject: Disable micromega tests Workaround for bug #570920. --- |