Re: Which repo SVN or GIT?

Thank you! On Sat, Apr 30, 2022 at 9:29 AM Mark Evenson <evenson@panix.com> wrote:

...

On Apr 30, 2022, at 14:56, Blake McBride <blake@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."