Replace positive-int by int<1, max> #19
Description
To make it more explicit that 0 is not included
{{ message }}
Replace
positive-int by int<1, max> #19To make it more explicit that 0 is not included