bitrig branch patrick_marvell deleted

[Patrick Wildt]

the bitrig patrick_marvell branch has been deleted by patrick.