diff options
author | Gard Spreemann <gspr@nonempty.org> | 2020-06-29 13:39:49 +0200 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2020-06-29 13:39:49 +0200 |
commit | 0e9512b575c74b123af4d11b3e325f3c41e62ab3 (patch) | |
tree | 9a3d2b6ed689e4b9c66ac481b8834ebdc71d152d /debian/patches/0005-Disable-Sphinx.patch | |
parent | a6ba325ce616d9c6f9b7329e3f9652ca429b5b01 (diff) |
Add patch to work around bug #963955.
Diffstat (limited to 'debian/patches/0005-Disable-Sphinx.patch')
0 files changed, 0 insertions, 0 deletions