Patrick Wildt Thu, 22 Oct 2015 06:18:30 -0700
the bitrig sync_20151001 branch has been deleted by patrick.
