| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| remove-searchindex.diff | Remove searchindex.js to silence lintian error source-is-missing =================================================================== |
Jeremy Sanders <jeremy@jeremysanders.net> | not-needed | 2022-11-06 |