the bitrig pedro_remove_rd branch has been deleted by pedro.
- bitrig branch pedro_remove_rd deleted pedro martelletto
- bitrig branch pedro_remove_rd deleted pedro martelletto
- bitrig branch pedro_remove_rd deleted pedro martelletto
the bitrig pedro_remove_rd branch has been deleted by pedro.