<div dir="ltr">I plan to create the 1.22 RC on Thursday so it can go in the GHC 7.10 RC. That means that most pull requests (especially non-trivial ones) should be merged by then.<div><br></div></div>