Merge branch 'avoid-deprecated-nat-defs' into 'master'
Avoid using Arith libraries deprecated in v8.16 See merge request iris/stdpp!346
No related branches found
No related tags found
Checking pipeline status
Avoid using Arith libraries deprecated in v8.16 See merge request iris/stdpp!346