Closed brendangregg closed 9 years ago
Tidied up pull request...
Thanks, makes sense.
Btw. it is ok for me if you git push -f into existing PRs instead of creating new ones as long as the topic stays the same.
git push -f
Tidied up pull request...