Comment 1 for bug 1628831

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

Test case: In mir_proving_server use Ctrl+Alt+(+/=/0) to change modes.