Ye PR was merged after `0.7.1` release <https://gi...
# arrow
s
Ye PR was merged after
0.7.1
release https://github.com/arrow-kt/arrow/pull/793