Christoph Anton Mitterer Thu, 23 Dec 2021 19:09:24 -0800
Hey. This seems like a very trivial patch... and a very helpful one, too.
Any chance to get this merged? Thanks, Chris.