diff options
Diffstat (limited to 'debian')
-rw-r--r-- | debian/changelog | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog index 9a04a8b9..50c790af 100644 --- a/debian/changelog +++ b/debian/changelog @@ -3,9 +3,9 @@ gudhi (3.0.0+dfsg-4) UNRELEASED; urgency=medium * Drop 0003-Don-t-set-runtime-library-dirs-for-Python-extensions.patch in favor of CMake option. * Disable parallel builds. A lot of buildds seem to be swapping out, and - some Ubuntu ones run out of memory outright. + some Ubuntu ones run out of memory outright. (Closes: #945226) - -- Gard Spreemann <gspr@nonempty.org> Thu, 21 Nov 2019 13:47:24 +0100 + -- Gard Spreemann <gspr@nonempty.org> Fri, 22 Nov 2019 08:30:18 +0100 gudhi (3.0.0+dfsg-3) unstable; urgency=medium |