Re: USB port numbering

[Robert Elz <kre%munnari.OZ.AU@localhost>]

    Date:        Thu, 18 Oct 2018 08:02:57 +0200
    From:        manu%netbsd.org@localhost (Emmanuel Dreyfus)
    Message-ID:  <1nwuwzz.1479ek511w23qgM%manu%netbsd.org@localhost>

  | Robert Elz <kre%munnari.OZ.AU@localhost> wrote:
  |
  | > That part of your change is puerly cosmetic, 
  |
  | The idea was to be consistent everywhere we loop on ports. 

Yes, I assumed that was probably it.    In any case, the change looks
correct (the one that matters) and ought be committed, one way or the
other.

kre