Merge proposals

gnusim8085 in Ubuntu has no merge proposals.