Re: PR/53511 CVS commit: src/external/bsd/flex/dist/src

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

    Date:        Mon, 20 Aug 2018 06:29:10 -0400
    From:        christos%zoulas.com@localhost (Christos Zoulas)
    Message-ID:  <20180820102910.35E6C17FDA1%rebar.astron.com@localhost>

  | Yes, this needs to be done differently [...]

I was going to send a message saying just that, but you had
"done differently" before I had the chance, so ...

kre