[Agda-dev] Release Agda-2.4.2.3

[Andrés Sicard-Ramírez]

Hi,

On 6 May 2015 at 01:56, Andreas Abel <abela at chalmers.se> wrote:
> The last release of the maintenance version was half a year ago (Nov 2014).
>
> There are now enough bug-fixes to warrant another release.
>
> Andres, are you up to it?

The release is in Hackage. I'll make the announce later after
finishing the Wiki stuff.

Please note the new branch 2.4.2.4 in the standard library repository
for using with Agda 2.4.2.4.

Best,

-- 
Andrés