diff options
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series index efd45f90..e92865f0 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -5,3 +5,4 @@ 0005-Don-t-set-runtime-library-dirs-for-Python-extensions.patch 0006-Force-linking-of-Python-module-with-CGAL.patch 0007-Force-linking-against-libatomic-for-parts-that-use-T.patch +0008-Offline-header-to-avoid-loading-remote-resources-in-.patch |