[Users] Git builds of 3.18.0 broken

[Brian Morrison]

On Fri, 2021-09-10 at 11:57 +0000, Paul wrote:
> On Fri, 10 Sep 2021 12:47:25 +0100
> Brian Morrison <bdm at fenrir.org.uk> wrote: 
> 
> > Pretty sure that I have never changed this either, I am not a git
> > expert so beyond using git pull and git checkout commands I don't
> > make
> > any changes.
> 
> I have clean git trees also, but don't see the problem you see.


Some sort of transient weirdness then, I have chmod +x'd the files in
question, and git pull --all now tells me everything is up to date.

Chalk this up to a few errant cosmic rays.

-- 

Brian