Patrick Wildt Mon, 29 Dec 2014 10:02:45 -0800
the bitrig sync_20141211 branch has been deleted by patrick.
