Merge proposals

gvars3 in Ubuntu has no merge proposals.