Patrick Wildt Tue, 30 Dec 2014 14:53:34 -0800
the bitrig sync_20141222 branch has been deleted by patrick.
