Note that an alternative approach would be to name this mir-gnome-terminal, and use the debian alternatives system to provide 'mirterminal'.
« Back to merge proposal
Note that an alternative approach would be to name this mir-gnome-terminal, and use the debian alternatives system to provide 'mirterminal'.