Skip to content
Commit 9fd082ae authored by Christoph Cullmann's avatar Christoph Cullmann 🍨
Browse files

relax region id to int, too

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
parent 4bca0fc3
Pipeline #474753 passed with stage
in 1 minute and 59 seconds
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment