> [Suggestion: perhaps we could set up a python-buildbots at python.org > list for discussing buildbot administrative minutiae, rather than > polluting python-dev?] I think polluting python-dev is fine. Regards, Martin