And now, the r-team is in better shape than master, according to QA! Thanks! I will let you enjoy the pleasure to merge it, Ricardo.
misc-world-rebuild is still being evaluated, it will have to be rebased after the r-team merge has been processed by data.qa, and then I hope its evaluation will go through. I will look after haskell-team, which will then be evaluated in parallel to misc-world-rebuild. Andreas
