eliom.4.1.0

eliom.4.1.0
Merge pull request #2791 from hhugo/eliom41

eliom.4.1.0