Berker Peksag added the comment: -1
I think the current devguide theme looks fine and it would be nice to keep devguide and Python documentations use different themes. I'd be -0 if the patch was small, but diff stat "11 files changed, 1651 insertions(+), 10 deletions(-)" is huge and it would be nice to avoid code duplication. The current theme has some bugs and now we will have to update two different repos everytime we touch the docs.p.o theme. ---------- nosy: +berker.peksag _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue23951> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
