Merge proposals

graphlan in Ubuntu has no merge proposals.