Merging opt-3.1 into nepi-3-dev
authorAlina Quereilhac <alina.quereilhac@inria.fr>
Mon, 28 Jul 2014 09:10:48 +0000 (11:10 +0200)
committerAlina Quereilhac <alina.quereilhac@inria.fr>
Mon, 28 Jul 2014 09:10:48 +0000 (11:10 +0200)

Trivial merge