Patrick Wildt Fri, 23 Jan 2015 13:13:34 -0800
the bitrig patrick_hyp branch has been deleted by patrick.
