Patrick Wildt Fri, 17 Oct 2014 11:19:02 -0700
the bitrig patrick_amd64_pmap branch has been deleted by patrick.
