@Diederik - assigning to you, since the crash seems related to the changes committed in r10439 for bug #212768 (originally r10442, which was removed and later merged with r10439). Please revert if this assignment was done in error.
@Diederik - assigning to you, since the crash seems related to the changes committed in r10439 for bug #212768 (originally r10442, which was removed and later merged with r10439). Please revert if this assignment was done in error.