Remove useless hack on Eliom_references in Eliom_comet#847

balat wants to merge 1 commit intomasterocsigen/eliom:masterfrom

remove_eref_hackocsigen/eliom:remove_eref_hackCopy head branch name to clipboard