diff options
author | Dmitry Shachnev <mitya57@debian.org> | 2018-12-16 12:01:43 +0300 |
---|---|---|
committer | Dmitry Shachnev <mitya57@debian.org> | 2018-12-18 16:43:19 +0300 |
commit | 99e51b15f037ee43fcb94c1f8c234a6c0c6353c4 (patch) | |
tree | dfdaf3136f8f66153f579cfd4f65fd2f84f7f5a7 /debian/changelog | |
parent | 3290846a0a3c0a5798fbc4015b8af1a9d38140dd (diff) |
Stop overriding upstream choice of mkdocs theme.
Search now works fine with the readthedocs theme.
Diffstat (limited to 'debian/changelog')
-rw-r--r-- | debian/changelog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 85888c6d..ca1e2d68 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +cider (0.18.0+dfsg-2) UNRELEASED; urgency=medium + + * Stop overriding mkdocs theme, search works fine now. + + -- Dmitry Shachnev <mitya57@debian.org> Sun, 16 Dec 2018 14:06:32 +0300 + cider (0.18.0+dfsg-1) unstable; urgency=medium * New upstream release. |