* Claudiu Zissulescu <Claudiu.Zissulescu@synopsys.com> [2016-04-07 15:32:46 +0000]: > Probably it is ok to commit it as it may break builds for other > people, and the solution is very simple. Pushed as an "obvious" fix. If there's disagreement later it can be backed out. Thanks, Andrew