> Is the short bugfix by Mike Pall the likely one incorporated into the > Lua buglist as the fix... [...]? Probably yes. -- Roberto
