William Payne added the comment:
The crash has only occurred once (so far). If it happens a couple more
times I will try to reproduce it and send you the script.
For now though, I guess the ticket should be closed.
I hope I did the right thing in raising a ticket - I thought that it was
worth
New submission from William Payne :
Unfortunately, I cannot provide the source of the script I was running then the
crash occurred, so I strongly suspect that this issue will be closed as "cannot
reproduce", but I have included the OSX problem report anyway, if it is of any
use.