Patrick Wildt Thu, 21 Aug 2014 14:38:29 -0700
the bitrig patrick_trap branch has been deleted by patrick.
