Subject: Re: bug#36400: Few more words about ‘tex-print-file-extension’ (Emacs manual)

From: Sebastian Urban <[email-masked]>
Date: Tue, 9 Jul 2019 09:41:38 +0200

> (...) so I've applied a version of this to the Emacs trunk.

Alright, thanks.  Although I would prefer 2nd, more automatic, way of
setting variables... another time (if it's possible at all).