[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: User-defined record types, v2
From: |
Eli Zaretskii |
Subject: |
Re: User-defined record types, v2 |
Date: |
Thu, 30 Mar 2017 21:10:05 +0300 |
> From: Stefan Monnier <address@hidden>
> Date: Thu, 30 Mar 2017 11:07:20 -0400
>
> > Once that is fixed, I believe the branch is ready for merging. As far
> > as I know. Should I wait for a "go" or "no go" decision from someone?
>
> Yes: I don't know if Eli and John think this is a good idea.
I'm sorry, but I cannot say anything intelligent about such a
significant change that was discussed only between you two.
- Re: User-defined record types, v2, (continued)
- Re: User-defined record types, v2, Lars Brinkhoff, 2017/03/23
- Re: User-defined record types, v2, Lars Brinkhoff, 2017/03/23
- Re: User-defined record types, v2, Stefan Monnier, 2017/03/23
- Re: User-defined record types, v2, Lars Brinkhoff, 2017/03/24
- Re: User-defined record types, v2, Stefan Monnier, 2017/03/24
- Re: User-defined record types, v2, Lars Brinkhoff, 2017/03/24
- Re: User-defined record types, v2, Lars Brinkhoff, 2017/03/29
- Re: User-defined record types, v2, Stefan Monnier, 2017/03/30
- Re: User-defined record types, v2, Lars Brinkhoff, 2017/03/30
- Re: User-defined record types, v2, Stefan Monnier, 2017/03/30
- Re: User-defined record types, v2,
Eli Zaretskii <=
Re: User-defined record types, v2, Lars Brinkhoff, 2017/03/22