po1
commented
10 years ago It's nice to open pull requests, but if you merge them yourself within 1 minute of opening them, then what's the point?
Closed bmagyar closed 10 years ago
po1
commented
10 years ago It's nice to open pull requests, but if you merge them yourself within 1 minute of opening them, then what's the point?
bmagyar
commented
10 years ago po1
commented
10 years ago In the end, you just love that big green button, don't you?
:trollface:
The install rules are missing, but I need this here to put in rosinstall.