On 9 September 2017 at 00:14, Antoine Pitrou <solip...@pitrou.net> wrote:
> On Fri, 8 Sep 2017 16:59:57 +0200 > Ivan Levkivskyi <levkivs...@gmail.com> wrote: > > > I already made a PR that would highlight code in PEPs half-year ago, but > it > > was rejected with the reason that they will be moved to RtD soon. > > Perhaps we can revive that PR? > Just for the reference here is the PR https://github.com/python/pythondotorg/pull/1063 It is indeed quite simple. Unfortunately, right now (and next one-two weeks) I will be not able to work on this PR if any additional changes will be needed. But I will be happy if someone will continue with this (temporary) solution. -- Ivan
_______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
