Ezio Melotti <[email protected]> added the comment: I think there's an hook the rebuilds the devguide whenever someone pushes something.
---------- nosy: +georg.brandl, pitrou _______________________________________ Python tracker <[email protected]> <http://bugs.python.org/issue15311> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
