José Matos wrote: > On Thursday, May 5, 2016 2:19:32 PM WEST Georg Baum wrote: >> The former is safe and easy (see attached). I am not familiar enough with >> python3 to judge whether TeXFiles.py can be made work with python3 and >> python2 safely. >> >> Georg > > As Georg says the patch is safe for both python 2 and 3. > I also agree with Geord that the question next is whether TeXFiles.py, at > some point I decided to that but I do not remember the outcome.
OK, since Helge confirmed that it works, and José confirmed it is safe can I interpret this as a +1? Georg