On 7/25/18 4:27 PM, Grisha Levit wrote: > In the latest devel this issue is fixed for the case that the local nameref > points to a non-existent variable but there is still a bug if the variable > pointed to by a local nameref already exists.
Thanks for the report. The original fix was too conservative.
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU c...@case.edu http://tiswww.cwru.edu/~chet/
