[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [patches] First cut at simple option group support



Richard Sandiford <richard@xxxxxxxxxxxxxxxx> writes:
> Jim Blandy <jimb@xxxxxxxxxxxxxxxx> writes:
>> Richard, here's a revision of the patch that implements (my
>> understanding of) your suggestion.  Does this look better?
>
> Yeah, this looks great to me, thanks.

All right --- I've committed this.