Skip to content

relax region id to int, too

Christoph Cullmann requested to merge work/regionint into master

we only allow positive numbers, like for the attribute id we can encode none as 0 and end as negative id, without loosing any bit of encoding space public api wraps that

Merge request reports

Loading