Patrick Wildt Thu, 02 Oct 2014 16:17:44 -0700
the bitrig patrick_kernaddr branch has been deleted by patrick.
