merge_config.sh: use signal names compatible with dash and bash
This page took 2.059602 seconds and 4 git commands to generate.