Closed FedoseevAlex closed 3 years ago
This is more like quick fix for #216. I don't really know if this solution is OK, but it works correct at least for cases I checked.
Thanks for the PR! This has been merged and you can safely delete this branch.
This is more like quick fix for #216. I don't really know if this solution is OK, but it works correct at least for cases I checked.