bitrig branch pedro_remove_mfs deleted

[pedro martelletto]

the bitrig pedro_remove_mfs branch has been deleted by pedro.