ros-infrastructure/buildfarm — pull request #190 by tfoote (2014-04-18 21:48:53+00:00)
Title: add separate labels since jenkins doesn't track ORd labels correctly

Once enough of the new machines have this fix, then the job's labels can be updated.