HomePhabricator

Merge #9140: Bugfix: Correctly replace generated headers and fail cleanly

Description

Merge #9140: Bugfix: Correctly replace generated headers and fail cleanly

b74ff5c Bugfix: Correctly replace generated headers and fail cleanly (Luke Dashjr)

Event Timeline

Wladimir J. van der Laan <laanwj@gmail.com> committed rABC018a4eb120dc: Merge #9140: Bugfix: Correctly replace generated headers and fail cleanly (authored by Wladimir J. van der Laan <laanwj@gmail.com>).Nov 15 2016, 09:34