Merge proposals

gnushogi in Ubuntu has no merge proposals.