diff options
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series index 316fdacd13a3..0d93328cd330 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -127,4 +127,6 @@ bugfix/all/0005-libtraceevent-Add-dependency-on-libdl.patch # overlay: allow mounting in user namespaces debian/overlayfs-permit-mounts-in-userns.patch +debian/doc-disable-extension-incompatible-with-sphinx-3.patch + # ABI maintenance |