Merge proposals

gEDA has no merge proposals.