Patrick Wildt Sat, 20 Dec 2014 04:14:42 -0800
the bitrig patrick_ampintc branch has been deleted by patrick.
