Merge proposals

Gnu Bash has no merge proposals.