Re: [Python-Dev] is a new buildbot gps-debian-profile-opt possible?