On Thu, Jan 26, 2017 at 10:47 AM, Axel Beckert <[email protected]> wrote:
> Probably installing a newer version of google-mock. Hello Axel, Building and installing google-mock 1.8.0-6 solves this issue indeed. Thanks for your help. JC -- Jean-Christophe
