On Fri, 12 Nov 2010 07:23:19 am Stefan (metze) Metzmacher wrote: > Hi Rusty, > > is it ok to push this crash fix? > > metze Sure, though I think the comments are unnecessary (they explain the *change*, but the code itself should be self-evident). Thanks! Rusty.