bitrig branch patrick_arm_ias deleted

[Patrick Wildt]

the bitrig patrick_arm_ias branch has been deleted by patrick.