Ubuntu
gedit package

  1. Bug #1066531
  2. Comment #2

Comment 2 for bug 1066531

Revision history for this message
Paul White (paulw2u) wrote :

Teo, thank you for reporting this bug to Ubuntu.

Ubuntu 12.04 (precise) reached end-of-life on April 28, 2017.

See this document for currently supported Ubuntu releases:
https://wiki.ubuntu.com/Releases

We appreciate that this bug may be old and you might not be interested in discussing it any more. But if you are then please upgrade to the latest Ubuntu version and re-test. If you then find the bug is still present in the newer Ubuntu version, please add a comment here telling us which new version it is in and change the bug status to Confirmed.

Paul White
[Ubuntu Bug Squad]