Merge proposals

isl-0.18 in Ubuntu has no merge proposals.