Marco Ricci
Avoid crashing when overriding key selection on the command-line
Marco Ricci commited 0ea17f0 at 2024-07-28 17:12:05