[Agda-dev] Release Agda-2.4.2.3

[Andrés Sicard-Ramírez]

On 6 May 2015 at 06:55, Andrés Sicard-Ramírez <asr at eafit.edu.co> wrote:
> Who could release a version of the standard library compatible with
> Agda 2.4.2.3? I think it's desirable back-port some commits from the
> master branch into the 2.4.2.3 branch before the release. I'll open an
> issue in GitHub for this task (right now GitHub is down due to
> emergency maintenance).

I created the issue https://github.com/agda/agda-stdlib/issues/67. Any
volunteer?

-- 
Andrés