bitrig branch patrick_miniroot2 deleted

[Patrick Wildt]

the bitrig patrick_miniroot2 branch has been deleted by patrick.