tree 49a5798bd88f5dc504bd0c4d565de52ac5948323
parent ee77ca017aa8819eb31e38e543aa1390bbfcb9a5
author Davide Pesavento <davide.pesavento@lip6.fr> 1539481102 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1539485427 -0400

ci: workaround homebrew issues with python and numpy on Travis's macOS 10.12

Change-Id: I772e13c5395c1fd3467f8405baadd0bb4f795104