Package: auctex Version: 10.0g Severity: minor Tags: pending User: salve Usertags: bugs.debian.org/120031
This bug has been fixed by commit [0c2cfc8], and should be closed by next release, i.e., by the successor of release 11.88. This bug has been originally reported by a Debian user: see <https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=120031>. -- Thanks, Davide _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
