<div dir="ltr"><div class="gmail_default" style="font-size:small">Dear Lennart,<br><br>In order to build Agda with GHC 7.10.1 RC1, could you merge the pull request <a href="https://github.com/augustss/geniplate/pull/4">https://github.com/augustss/geniplate/pull/4</a> and upload a new version to Hackage, please.<br><br></div><div class="gmail_default" style="font-size:small">Thanks,<br></div><div class="gmail_default" style="font-size:small"><br></div>-- <br><div class="gmail_signature"><div dir="ltr">Andrés<br></div></div>
</div>