Re: TeXFiles.py compatibility with Nix on macOS

[Jean-Marc Lasgouttes]

Le 25/06/2019 à 18:46, Richard Kimberly Heck a écrit :

I pushed the patch to master at 642b4acc.  Riki, OK for backport?

Yes.

Thanks. Done now.

JMarc