bitrig branch patrick_clock deleted

[Patrick Wildt]

the bitrig patrick_clock branch has been deleted by patrick.