Re: User-defined record types, v2

[Eli Zaretskii]

> 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.