Patrick Wildt Thu, 14 Aug 2014 04:12:49 -0700
the bitrig patrick_etc branch has been deleted by patrick.
