Patrick Wildt Fri, 12 Dec 2014 08:47:39 -0800
the bitrig sync_20141125 branch has been deleted by patrick.
