Shahab Vahabzadeh wrote on 16/11/2020 19:49:
> And in the skinned version what would be new value for this
> 0.0.0.0/0{33,32} <http://0.0.0.0/0%7B33,32%7D> ?
you can just delete this line entirely.
The code should be able to handle /32. I'll submit a github issue to
get this fixed.
Nick