bitrig branch patrick_smpns_arm deleted

[Patrick Wildt]

the bitrig patrick_smpns_arm branch has been deleted by patrick.