Merge proposals

ocamlbricks in Ubuntu has no merge proposals.