Message171484
Should be fixed now. The daily builds are just copied over to /dev, so removed pages don't get removed automatically.
I could add an "rm -r" to the dailybuild steps, but that would cause a few moments of missing pages for everyone browsing /dev at that moment. |
|
Date |
User |
Action |
Args |
2012-09-28 15:03:39 | georg.brandl | set | recipients:
+ georg.brandl, chris.jerdonek, docs@python |
2012-09-28 15:03:39 | georg.brandl | set | messageid: <1348844619.91.0.379730384951.issue16069@psf.upfronthosting.co.za> |
2012-09-28 15:03:39 | georg.brandl | link | issue16069 messages |
2012-09-28 15:03:39 | georg.brandl | create | |
|