[Agda] ANNOUNCE: Agda 2.4.2.3 release candidate

[Andrés Sicard-Ramírez]

On 22 May 2015 at 10:19, Sergei Meshveliani <mechvel at botik.ru> wrote:
> I have tested it on the docon-A application.
> This does not reveal any errors.

Thanks!

-- 
Andrés