bitrig branch patrick_bitrig10 deleted

[Patrick Wildt]

the bitrig patrick_bitrig10 branch has been deleted by patrick.