pedro martelletto Wed, 19 Nov 2014 23:00:32 -0800
the bitrig pedro_amd64_locore branch has been deleted by pedro.
