tree 74c3b873ab1348e183890c892d5c97f7777e4ad5
parent 78de735ab0cafcf0e63179d74ba18ea5f186a792
author Davide Pesavento <davide.pesavento@lip6.fr> 1532213756 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1532234211 -0400

build: require clang >= 3.6

Change-Id: I609c6ae59ce78db79bb686d2a53e9f1f26dcaaef