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

[Andreas Abel]

Ok, then I can continue pushing to maint-2.4 without doing any harm 
(even though it might be pointless).

On 15.02.2016 12:36, Andrés Sicard-Ramírez wrote:
> 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.
>

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