Merge proposals

ocaml-gavl in Ubuntu has no merge proposals.