chiark / gitweb /
Add option to automatically invoke the interactive merger