Patrick Wildt Sun, 17 May 2015 14:16:09 -0700
the bitrig patrick_pivot branch has been deleted by patrick.
