10 Jan
2010
10 Jan
'10
10:56 a.m.
Hi all,
I finally got access to my code repository again and committed a quick fix to avoid the crash. Sorry for the long delay despite the apparent severity of the bug!!! I will have to double-check whether my fix is the 'correct' solution (as in, if something should prevent the pointer from being NULL in the first place) but at least it shouldn't affect users any more.
Max