bitrig branch users/patrick_drain_better deleted

[Patrick Wildt]

the bitrig users/patrick_drain_better branch has been deleted by patrick.