CityJSON: Remove duplicate vertices after converting to int #2
Description
now it is done before casting from float to int. This leaves some dupes as detected by https://hugoledoux.github.io/cjval_wasm/. Eg 210908 tile 3032
{{ message }}
now it is done before casting from float to int. This leaves some dupes as detected by https://hugoledoux.github.io/cjval_wasm/. Eg 210908 tile 3032