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

[Andrés Sicard-Ramírez]

On 17 March 2015 at 07:16, Andrés Sicard-Ramírez <asr at eafit.edu.co> 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?

If a bug-fix version of Agda is released, how can we release an
*updated* version of the standard library compatible with this version
of Agda?


-- 
Andrés