Closes #3 (closed)
Pipeline #12519 passed
Pipeline passed for 8dbbc6aa on 3-terminal-ui 2 years ago
Pipeline #12520 passed
Pipeline passed for 2c1d9b7c on master 2 years ago