Christoph Berg Tue, 27 Sep 2022 13:27:29 -0700
Re: Sean Whitton > Therefore, we will likely just close this bug, I'm afraid.
+1 on closing from me. Christoph