Merge pull request #15833 from FlorentBecker/eliom5
Update the Eliom ecosystem to 2016-01
vbgl 9 years ago c3b791f1 8cb37c15