[Expired for gnome-terminal (Ubuntu) because there has been no activity
for 60 days.]
** Changed in: gnome-terminal (Ubuntu)
Status: Incomplete => Expired
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu
We are sorry that we do not always have the capacity to review all
reported bugs in a timely manner.
Ubuntu 12.04 (precise) reached end-of-life on April 28, 2017.
Presumably your issues were resolved some time ago and this bug report
can now be closed?
Thank you for helping make Ubuntu better.