Hi Dave, On Mon, 24 Oct 2022 at 17:21, "Thompson, David" <dthomps...@worcester.edu> wrote:
> Pushed as commit 966118da711506b04c11fbfcac9483d59ed2d912. This bug > can finally be closed! \o/ Awesome! Thank you! Cheers, simon
Hi Dave, On Mon, 24 Oct 2022 at 17:21, "Thompson, David" <dthomps...@worcester.edu> wrote:
> Pushed as commit 966118da711506b04c11fbfcac9483d59ed2d912. This bug > can finally be closed! \o/ Awesome! Thank you! Cheers, simon