Patrick Wildt Thu, 30 Jul 2015 15:09:10 -0700
the bitrig patrick_20150730 branch has been deleted by patrick.
