Reply To: RBE doesn’t work anymore

[vinny]

Thanks, Torben.

Please make sure I’m an admin as I don’t see a) bbpnns menu; b) Settings menu.