Patrick Wildt Fri, 21 Nov 2014 11:17:31 -0800
the bitrig drahn_miniroot_do_umount branch has been deleted by patrick.
