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