<div dir="ltr"><div><br></div><div>Hi devs!</div><div><br></div><div>I created a small documentation PR for the GHC FFI on github and noticed that there's another one-liner PR from May 2019 that was not merged.</div><div><br></div><div><div><a href="https://github.com/ghc/ghc/pull/260">https://github.com/ghc/ghc/pull/260</a></div><div><a href="https://github.com/ghc/ghc/pull/255">https://github.com/ghc/ghc/pull/255</a></div></div><div><br></div><div>Just checking that simple PRs are still accepted on github.</div><div><br></div><div>Alexander</div><div><br></div></div>