* Claudiu Zissulescu <Claudiu.Zissulescu@synopsys.com> [2015-12-10 08:36:12 +0000]: > Indeed, how could I miss that! Locally, we have it correctly > done. From our side it is ok. Thanks Claudiu. I've gone ahead and pushed this as an obvious fix given that you're happy with it. Thanks, Andrew