Patrick Wildt Sat, 01 Nov 2014 07:51:16 -0700
the bitrig patrick_etc branch has been deleted by patrick.
