Hi Christoph,
> Is that something that we should submit upstream?
I jumped right in to fixing this and didn't look at recent commits
upstream. It looks like upstream already merged a similar fix for this
[1]. However there hasn't been a release with this change included.
--Bradford
[1]: https://github.com/uber/h3/pull/819