Which repo SVN or GIT?

[Mark Evenson]

> On Apr 30, 2022, at 14:56, Blake McBride <blake at mcbride.name> wrote:
> 
> They are not in sync.

[…]

They have now been adjusted to be in sync.  Alan had committed an emergency fix in github which I had not pushed through the bridge.

Please let know if you have additional problems.


-- 
"A screaming comes across the sky.  It has happened before but there is nothing 
to compare to it now."