On Tue, Jan 25, 2022 at 01:40:25PM -0500, Leo Famulari wrote:
> Okay, thanks for checking. I'll test a revised patch and push once it
> builds.

Pushed as 4235c6ee92b5c8875343c675c8d841eaa9f40d4c.

I did forget to adjust the indentation of the test phase... oh well.