Re: Gub failure

[David Kastrup]

"Phil Holmes" <address@hidden> writes:

> Looks like this was the problem.  I had to edit the file and push it
> to release/unstable since Gub always seems to pull its source files
> from there, so editing locally doesn't work.  My normal course would
> be to push this change to staging once I've uploaded the new builds
> and docs.  Does that seem OK in this case?

I think so.  New builds and docs include a regtest build so I don't
think we have to fathom staging failures if you managed a build.
Particularly not for this change.

-- 
David Kastrup