[Agda-dev] Release 2.4.2.6

[Andreas Abel]

Andres, would you be up to release 2.4.2.6, or do you think it is too early?

We fixed >20 bugs, some of them causing internal errors, some of them 
long-standing (480,520).  If it is not too much work, I think a release 
would be nice.

Cheers,
Andreas

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/