[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [gpsd-dev] ✘https://www.gpsd.io/
|
From: |
Gary E. Miller |
|
Subject: |
Re: [gpsd-dev] ✘https://www.gpsd.io/ |
|
Date: |
Tue, 4 Jun 2019 13:19:29 -0700 |
Yo Eric!
On Tue, 4 Jun 2019 09:02:12 -0400
"Eric S. Raymond" <address@hidden> wrote:
> Gary E. Miller <address@hidden>:
> > I'm sure we'll find lots more to fix. Easier now with GitLab web
> > pages.
>
> You shouldn't have to chasnge that URL more than once. The intent
> when I originally designed the side is that all instances of it would
> be templated from the definition in the scons recipe. I don't think
> anyone has broken that property, though you might want to grep to
> check,
Given the flood of patches last night it would seem my predictions have
already come true.
I'm happy to see such progress.
RGDS
GARY
---------------------------------------------------------------------------
Gary E. Miller Rellim 109 NW Wilmington Ave., Suite E, Bend, OR 97703
address@hidden Tel:+1 541 382 8588
Veritas liberabit vos. -- Quid est veritas?
"If you can’t measure it, you can’t improve it." - Lord Kelvin
pgp4QfOr7U5mS.pgp
Description: OpenPGP digital signature