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