bitrig branch sync_20150612 deleted

[Patrick Wildt]

the bitrig sync_20150612 branch has been deleted by patrick.