From owner-freebsd-bugs  Sat May  3 14:24:32 1997
Return-Path: <owner-bugs>
Received: (from root@localhost)
          by hub.freebsd.org (8.8.5/8.8.5) id OAA17819
          for bugs-outgoing; Sat, 3 May 1997 14:24:32 -0700 (PDT)
Received: (from joerg@localhost)
          by hub.freebsd.org (8.8.5/8.8.5) id OAA17797;
          Sat, 3 May 1997 14:24:25 -0700 (PDT)
Date: Sat, 3 May 1997 14:24:25 -0700 (PDT)
From: Joerg Wunsch <joerg>
Message-Id: <199705032124.OAA17797@hub.freebsd.org>
To: proff@profane.iq.org, joerg, freebsd-bugs
Subject: Re: kern/2033
Sender: owner-bugs@FreeBSD.ORG
X-Loop: FreeBSD.org
Precedence: bulk

Synopsis: unmount of doubly mounted devfs forces panic

State-Changed-From-To: open-closed
State-Changed-By: joerg
State-Changed-When: Sat May 3 23:21:21 MET DST 1997
State-Changed-Why: 
Suggested fixes from PR # 3276 and 3469 applied, in rev 1.36 and
1.17 of devfs_tree.c, and devfs_vfsops.c, respectively.

Thanks for the fixes!

(There are still problems regarding the final umount, but the kernel
doesn't crash anymore.)