Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix test-with-buildbots label handling (#579)
Fixes #578, a bug introduced by #576 for #327. I was mislead by the number extraction in another part of the file.
- Loading branch information