tree 9251deaef3757132b12abd1144beefa898c15dd5
parent 302ff9363a20da9201a2ad1ccfc28fa5beaefafa
author GianMaria Romanato <gm.romanato@gmail.com> 1487630406 +0100
committer GianMaria Romanato <gm.romanato@gmail.com> 1487630406 +0100

Build against neon. 

Tentative change to work around failing test on jenkins.