bitrig branch patrick_lalala deleted

[Patrick Wildt]

the bitrig patrick_lalala branch has been deleted by patrick.