Closed hsu closed 8 years ago
How did I add a label to this ticket? Maybe I'm logged in on some shared computer?
If you don't need the branch of this PR anymore you might want to delete it.
@codebot I believe it's waffle.io categorizing things. https://waffle.io/osrf/uctf
How did I add a label to this ticket? Maybe I'm logged in on some shared computer?