Merge proposals

fig2dev in Ubuntu has no merge proposals.