diff options
author | Gard Spreemann <gspr@nonempty.org> | 2019-12-10 14:34:06 +0100 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2019-12-10 14:34:06 +0100 |
commit | bf4d9c059aaf592a4224efe5f862e04722823778 (patch) | |
tree | 964fb5c21a1c70c88a95f03b0cf27b20690777d6 /debian/changelog | |
parent | 26c5613de50edc6772e7861f2262c1d4d7f9b8f4 (diff) |
Changelog.
Diffstat (limited to 'debian/changelog')
-rw-r--r-- | debian/changelog | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index 1496ddcd..5a035097 100644 --- a/debian/changelog +++ b/debian/changelog @@ -5,8 +5,12 @@ gudhi (3.0.0+dfsg-4) UNRELEASED; urgency=medium * Disable parallel builds. A lot of buildds seem to be swapping out, and some Ubuntu ones run out of memory outright. (Closes: #945226) * Standards-version 4.4.1. No changes needed. + * Drop 0004-Force-linking-of-Python-module-with-CGAL.patch since CGAL is + now header-only. + * Add 0007-Move-towards-reproducible-builds.patch to move towards + reproducible builds. - -- Gard Spreemann <gspr@nonempty.org> Thu, 05 Dec 2019 12:18:43 +0100 + -- Gard Spreemann <gspr@nonempty.org> Tue, 10 Dec 2019 14:33:51 +0100 gudhi (3.0.0+dfsg-3) unstable; urgency=medium |