Patrick Wildt Sun, 08 Mar 2015 14:44:45 -0700
the bitrig sync_20150307 branch has been deleted by patrick.
