the bitrig patrick_intr branch has been deleted by patrick.
- bitrig branch patrick_intr deleted Patrick Wildt
- bitrig branch patrick_intr deleted Patrick Wildt
- bitrig branch patrick_intr deleted Patrick Wildt
- bitrig branch patrick_intr deleted Patrick Wildt
