bitrig branch patrick_stable deleted

[Patrick Wildt]

the bitrig patrick_stable branch has been deleted by patrick.