On Wed, Jun 12, 2019 at 3:23 AM Oleg Kalnichevski <[email protected]> wrote:
> On Tue, 2019-06-11 at 20:39 -0400, Gary Gregory wrote: > > On Tue, Jun 11, 2019 at 5:37 PM Oleg Kalnichevski <[email protected]> > > wrote: > > > ... > > > > > I think should start by merging the two PRs above. This will do the > > Http2* > > to H2* change. > > > > Gary, please do not merge incomplete change-sets. > The changes in the two PR above only deal with Http2 -> H2 so I assume you mean it is incomplete in that it does not address _all_ the name changes under discussion. This is indeed the case and I would like to hear from all so we can provide the best naming. I understand your desire to wait to merge PR so that's what I'll do. Gary > Oleg > > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > >
