HomePhabricator

Merge #7402: [devtools] github-merge get toplevel dir without extra whitespace
6a5932bf2a4aUnpublished

Unpublished Commit ยท Learn More

Repository Importing: This repository is still importing.

Description

Merge #7402: [devtools] github-merge get toplevel dir without extra whitespace

5ed2f16 [devtools] github-merge get toplevel dir without extra whitespace (Andrew C)

Event Timeline

Wladimir J. van der Laan <laanwj@gmail.com> committed rABC6a5932bf2a4a: Merge #7402: [devtools] github-merge get toplevel dir without extra whitespace (authored by Wladimir J. van der Laan <laanwj@gmail.com>).Jan 25 2016, 14:42