gcd): remove pointless parentheses
#1386

Merged

chore(data/nat/gcd): remove pointless parentheses #1386

mergify merged 1 commit into master from paren-chore

chore(data/nat/gcd): remove pointless parentheses

c4909dde

khoek requested a review 6 years ago

jcommelin approved these changes on 2019-09-02

jcommelin added ready-to-merge

mergify merged fe7695ba into master 6 years ago

mergify deleted the paren-chore branch 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone