Merge remote-tracking branch 'uclouvain/master'
authormayeut <mayeut@users.noreply.github.com>
Sun, 3 Jan 2016 01:09:04 +0000 (02:09 +0100)
committermayeut <mayeut@users.noreply.github.com>
Sun, 3 Jan 2016 01:09:04 +0000 (02:09 +0100)
commit2e4fadf330c1039d2181e6ba05c80f1cff6d0947
treec14ca7b6d2765dcafd59e219249913de7344f6f9
parent51cbcd5748cd64832a578dfa30e630fdd79c2775
parent8f9905936cef1427f9372dd192a054b3c852232a
Merge remote-tracking branch 'uclouvain/master'