<div dir="ltr"><div class="gmail-message_content gmail-rendered_markdown">
            <p>Dear all,</p>
<p>The Agda Team is pleased to announce the first release candidate for 
version 2.2 of the Agda standard library. The release candidate has been
 tested using Agda 2.7.0 and 2.7.0.1 and can be downloaded <a href="https://github.com/agda/agda-stdlib/archive/v2.2-rc1.zip" target="_blank" rel="noopener noreferrer" title="https://github.com/agda/agda-stdlib/archive/v2.2-rc1.zip">here</a>. The CHANGELOG is available <a href="https://github.com/agda/agda-stdlib/blob/v2.2-rc1/CHANGELOG.md" target="_blank" rel="noopener noreferrer" title="https://github.com/agda/agda-stdlib/blob/v2.2-rc1/CHANGELOG.md">here</a>. We would be grateful for reports of any issues you may encounter with the new version of the library on the <a href="https://github.com/agda/agda-stdlib/issues" target="_blank" rel="noopener noreferrer" title="https://github.com/agda/agda-stdlib/issues">Github issues page</a>.</p>
<p>If there are no further issues found, we plan to make the official release next week.</p>
<p>Best wishes,</p>
<p>Matthew, on behalf of the Agda Team</p>
    </div></div>