eliom.3.0.3: add Grégoire's int64 patch
Merge branch 'fix_eliom_int64'