[docs] [issue24786] Changes in the devguide repository are not published online in HTML

R. David Murray added the comment: I see your change made on the 30th on the web. I don't see where the copyright is displayed, so I can't confirm that one, but Brett's change on the second is there. So, I don't see a bug here. ---------- nosy: +r.david.murray _______________________________________ Python tracker <report@bugs.python.org> <http://bugs.python.org/issue24786> _______________________________________