[Bug 1292953] Re: Borders return when extra tabs exist

2018-12-27 Thread Paul White
Thanks 10LF  :)

I'll close this one by marking "Invalid" on the basis that although the
report may have referred to a valid issue the report itself is now
invalid due to its age and lack of information regarding possible fixes
or action to be taken.

** Changed in: gnome-terminal (Ubuntu)
   Status: Incomplete => Invalid

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1292953

Title:
  Borders return when extra tabs exist

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1292953/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[Bug 1292953] Re: Borders return when extra tabs exist

2018-12-27 Thread TenLeftFingers
Hi Paul,

The issue is not present on 16.04. I think it's safe to consider this
one invalid for currently supported versions.

Thanks & Happy New Year

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1292953

Title:
  Borders return when extra tabs exist

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1292953/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[Bug 1292953] Re: Borders return when extra tabs exist

2018-12-27 Thread Paul White
We are sorry that we do not always have the capacity to review all
reported bugs in a timely manner.

Ubuntu 13.04 (raring) reached end-of-life on January 27, 2014.

Do you still see a problem related to the one that you reported in a
currently supported version of Ubuntu? Please let us know if you do and
in which version of Ubuntu otherwise this report can be left to expire
in approximately 60 days time.

Thank you for helping make Ubuntu better.

Paul White
[Ubuntu Bug Squad]

** Changed in: gnome-terminal (Ubuntu)
   Status: New => Incomplete

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1292953

Title:
  Borders return when extra tabs exist

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1292953/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs