Patrick Wildt Thu, 28 May 2015 15:51:39 -0700
the bitrig patrick_ommmc branch has been deleted by patrick.
