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

[Andrés Sicard-Ramírez]

On 15 February 2016 at 04:45, Andreas Abel <abela at chalmers.se> wrote:
> Andres, you said we should no longer push to maint-2.4?  Why not?

Because we agreed to make a release from the master branch, so I don't
see a reason for pushing on maint-2.4.

>  Is it
> no longer a subset of master?

The maint-2.4 branch continues being a subset of master.

-- 
Andrés