Synopsis: shark panics during atf run State-Changed-From-To: open->closed State-Changed-By: martin%NetBSD.org@localhost State-Changed-When: Fri, 18 Nov 2011 19:11:10 +0000 State-Changed-Why: can't reproduce it any more