I see that today's git pull and build has created a 3.9.2git87 version,
whereas after the last pull a couple of weeks ago it was creating
3.9.2git90 when doing make dist.
Is this expected or is something broken somewhere?
--
Brian Morrison
"I am not young enough to know everything"
Oscar Wilde