Can we rename that please? (like mir-gnome-terminal)
The name 'mirterminal' is probably best left reserved for a native Mir terminal (eventually).
« Back to merge proposal
Can we rename that please? (like mir-gnome-terminal)
The name 'mirterminal' is probably best left reserved for a native Mir terminal (eventually).