Kaushal Modi writes:
> I saw the version as "release_9.5-364-gde022e". That meant that
> "release_9.5" happened to be the last fetched tag in my local repo
> back then.
>
> Fix was simple.. I had to do "git fetch --all" before building Org.
This is indeed something easy to overlook. Maybe we can
On Fri, Dec 17, 2021 at 11:34 PM Ihor Radchenko wrote:
>
> Kaushal Modi writes:
>
> > I actually run a wrapper script to update Org and that has all that:
> > ...
> > I verified that at least the git hash was latest as of then:
> > release_9.5-364-g*de022e*
>
> Odd. Though the commit number is in
