This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Author python-dev
Recipients berker.peksag, ezio.melotti, georg.brandl, lisroach, python-dev, r.david.murray, rhettinger, vstinner, willingc, zach.ware
Date 2016-07-20.22:59:18
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <20160720225915.25489.49033.51BE82C8@psf.io>
In-reply-to
Content
New changeset 7d8f988522ed by Victor Stinner in branch 'default':
Issue #23951: remove devguide_theme_revised.patch
https://hg.python.org/devguide/rev/7d8f988522ed
History
Date User Action Args
2016-07-20 22:59:18python-devsetrecipients: + python-dev, georg.brandl, rhettinger, vstinner, ezio.melotti, r.david.murray, berker.peksag, zach.ware, willingc, lisroach
2016-07-20 22:59:18python-devlinkissue23951 messages
2016-07-20 22:59:18python-devcreate