1) Error happened yesterday with gnome-terminal. 2) Installed ppa from Marco; 3) Upgraded the ppa today; 4) Everything working so far.
1) Error happened yesterday with gnome-terminal.
2) Installed ppa from Marco;
3) Upgraded the ppa today;
4) Everything working so far.