-
Value in tex is overwritten before being used. Removing it. CID 1320715 https://bugzilla.gnome.org/show_bug.cgi?id=754253
704f97de
Value in tex is overwritten before being used. Removing it. CID 1320715 https://bugzilla.gnome.org/show_bug.cgi?id=754253