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

[Wolfram Kahl]

On Fri, Mar 20, 2015 at 09:52:25AM -0500, Andrés Sicard-Ramírez wrote:
> 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 :-)

I would not expect them to all be on Agda-dev...


Wolfram