[Agda-dev] Why no more pushing to maint-2.4?

Andreas Abel abela at chalmers.se
Mon Feb 15 10:45:41 CET 2016


Andres, you said we should no longer push to maint-2.4?  Why not?  Is it 
no longer a subset of master?

-- 
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/


More information about the Agda-dev mailing list