[Agda-dev] Other new branch in the standard library repository: 2.4.2.2

[Andrés Sicard-Ramírez]

Nils,

> On 17 March 2015 at 04:06, Nils Anders Danielsson <nad at cse.gu.se> wrote:
> I think this is too complicated, and takes too much time. Can't we
> restrict development to the master branch, and use the other branches
> for bug-fixes?

Well, from the latest commits in the master branch, I see you took a decision.

I'll repeat my question:

How can we test in the maintenance branch of Agda all the new stuff in
the development version (the master branch) of the standard library?

-- 
Andrés