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

[Andrés Sicard-Ramírez]

On 20 March 2015 at 09:29, Wolfram Kahl <kahl at cas.mcmaster.ca> wrote:
> On Fri, Mar 20, 2015 at 06:49:04AM +0100, Ulf Norell wrote:
>> I'm not sure we have to do that. We don't have any(?) users running the
>> maintenance branch--either you run with master or one of the releases.
>
> Andreas is trying to convinve me to use the maintenance branch,
> and I'll give it a try --- assuming your fixes for Issue 1396 are in there...

I had to wait long eight hours for users of the maintenance branch :-)

-- 
Andrés