bitrig branch patrick_cuboxi deleted

[Patrick Wildt]

the bitrig patrick_cuboxi branch has been deleted by patrick.