Merge proposals

shelltestrunner in Ubuntu has no merge proposals.