2 Commits (5ed2f16480142f0887cc1a6257ff53e2abc3e5b6)

Author SHA1 Message Date
Andrew C 5ed2f16480 [devtools] github-merge get toplevel dir without extra whitespace 9 years ago
Wladimir J. van der Laan da6d18b6c7 devtools: replace github-merge with python version 9 years ago