Hi, For reference I reported the following bug in Ubuntu,
https://bugs.launchpad.net/ubuntu/+source/auctex/+bug/172627 so hopefully the change should be removed, or we can get more information if it is still needed. Thanks, James -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
