On Tue, 4 Apr 2023 02:33:15 -0400 "Michael S. Tsirkin" <[email protected]> wrote:
> On Mon, Apr 03, 2023 at 10:57:35PM -0400, Parav Pandit wrote: > > > Both solutions are equally consistent in themselves, but I > > > argue the latter is better because: > > > * it is more consistent with historic usage > > Well index/vqn has mixed up anyway now. > > For historic reason, I agree that index is right. > > But it is too late now. > > Comments have not come on time. > > Why, is there a deadline? Is this blocking some other feature? For > something that is supposedly a cleanup we might as well get this right. > If you guys both agree index is better, and at this point it sounds > convincing, why not do it? It's more or less a machanical replacement. > It's not like there's a lot of word smithing going on here except for > 8/8 which really works with index just as well. I agree. Regards, Halil --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
