<div dir="ltr"><div class="gmail_default"><font>Hi,<br><br></font></div><div class="gmail_default"><font>FYI, we have two branches for the standard library:<br><br></font></div><div class="gmail_default"><font>master: This branch type-checks with the master branch of Agda<br><br></font></div><div class="gmail_default"><font><a href="http://2.4.2.1">2.4.2.1</a>: This branch type-checks with the maint-2.4.2 branch of Agda<br><br clear="all"></font></div><div class="gmail_default"><font>​<br>Please push your new committees for the standard library using the 2.4.2.1 branch, if possible.<br></font></div><font><br><div class="gmail_default" style="font-size:small;display:inline">(​Don&#39;t forgot to merge​</div><div class="gmail_default" style="font-size:small;display:inline">​ the 2.4.2.1 branch in the master branch​</div><div class="gmail_default" style="font-size:small;display:inline">​​</div><div class="gmail_default" style="font-size:small;display:inline">​.)<br></div></font>​<font><br>​Thanks,<br>​</font><br>-- <br><div class="gmail_signature"><div dir="ltr">Andrés<br></div></div>
</div>