runrev/livecode — pull request #866 by runrevian (2014-07-09 16:10:13+00:00)
Title: Bugfix 12602

Note: this is based on branch bugfix-12225, which should be merged before this one.