Bug#1043242: highlight: new upstream version

Thanks :-) Best wishes, Chris.

Bug#1043242: highlight: new upstream version

Unit 193 writes: > > Actually at the time of this writing, 4.7 is the current release. I had > gone ahead and jumped to the latest version a while ago, mainly to unify > my system on one Lua version, and I've attached the debdiff (debian/ only) > to this message. > Hi all; I've orphaned the