--- Comment #3 from [hidden email] ---
(In reply to Mark Johnston from comment #1)
Just to be sure I have reproduced the panic. Applied your patch and tried
With your patch applied the panic does not happen any more.
Should I close this bug report now or wait till the patch is in the repository?