PR #1610 chore(data/nat/basic): remove pos_iff_ne_zero'

chore(data/nat/basic): remove pos_iff_ne_zero' #1610

mergify merged 2 commits into master from pos_iff_ne_zero

chore(data/nat/basic): remove pos_iff_ne_zero'

858547f0

jcommelin approved these changes on 2019-10-24

jcommelin added ready-to-merge

Merge branch 'master' into pos_iff_ne_zero

89be52b4

mergify merged 9db43a5f into master 6 years ago

mergify deleted the pos_iff_ne_zero branch 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone