[Xtla-el-dev] Bugfix for tla-changes-font-lock-keywords

[Robert Widhopf-Fenk]

GNU Emacs users, please check

[EMAIL PROTECTED]

and its log message.  It should not do any harm to you, but
hey I am in the other Emacs church.

Robert.