Skip to content

Improve geojson serialization & get rid of rounding errors

Compare
Choose a tag to compare
@jillesvangurp jillesvangurp released this 13 Jan 17:21
· 128 commits to master since this release
  • Remove dependency on JsonEncoder and use Encoder instead.
  • We were arbitrarily rounding a bit too aggressively in a few places.