From 11380e13be48e009cbeb58616dde92d7e7ab2237 Mon Sep 17 00:00:00 2001 From: Gard Spreemann Date: Fri, 22 Jan 2021 11:24:48 +0100 Subject: Drop patch for CGAL 5.2 as it has been upstreamed --- debian/patches/series | 1 - 1 file changed, 1 deletion(-) (limited to 'debian/patches/series') diff --git a/debian/patches/series b/debian/patches/series index cc576f3b..adeb35f7 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -5,4 +5,3 @@ 0005-Disable-Sphinx.patch 0006-Install-Python-module-in-correct-location.patch 0007-Move-towards-reproducible-builds.patch -0008-Fix-building-with-CGAL-5.2.patch -- cgit v1.2.3