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.