Am 03.03.2019 um 08:22 schrieb Clive Nicholas:
clive@clivubu:~/gretl-git$ git pull
...
Then:
gretl version 2019b-git
But you have rebuilt in-between (and also done make install)?
(Sorry if this is a redundant question but it wasn't obvious from your
"log".)
cheers
sven