group_completion): missing namespace
#1518

Merged

chore(topology/algebra/group_completion): missing namespace #1518

mergify merged 2 commits into master from coe_zero

chore(topology/algebra/group_completion): missing namespace

5ee67497

jcommelin approved these changes on 2019-10-07

jcommelin added ready-to-merge

Merge branch 'master' into coe_zero

2ee0475b

mergify merged bf224080 into master 6 years ago

mergify deleted the coe_zero branch 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone