Patrick Wildt Sun, 11 Oct 2015 13:55:40 -0700
the bitrig sync_20151001 branch has been deleted by patrick.
