Re: gitmaster server problem?

[Jelte Fennema-Nio]

On Sat, 17 Aug 2024 at 22:05, Joe Conway <m...@joeconway.com> wrote:
> Just to close this out -- problem found and fixed about an hour ago.
> Sorry for the interruption.

Whatever the problem was it seems to have returned