runrev/livecode — pull request #725 by runrevsebastien (2014-05-08 15:32:39+00:00)
Title: Bugfix 12358

Taking the appropriate commit from 6.7 which had already fixed it