runrev/livecode — pull request #438 by runrevmark (2013-12-20 11:12:13+00:00)
Title: Bugfix 11559

Further updates to this bugfix so that it is actually fixed in 6.5.1 (rather than against 6.5!)