Merge proposals

lintex in Ubuntu has no merge proposals.