Patrick Wildt Tue, 25 Nov 2014 07:15:25 -0800
the bitrig patrick_release branch has been deleted by patrick.
