bitrig branch patrick_miniroot deleted

[Patrick Wildt]

the bitrig patrick_miniroot branch has been deleted by patrick.