Tobias Frost Sat, 15 Oct 2016 10:24:53 -0700
Mario has retired, so changing those two bugs from RFA to O.
-- tobi (for the MIA team)