PR #1627 fix(*): use has_coe_t

fix(*): use has_coe_t #1627

mergify merged 3 commits into master from use_has_coe_t

fix(*): use has_coe_t

818e6f77

fpvandoorn added awaiting-review

ChrisHughes24 added ready-to-merge

ChrisHughes24 approved these changes on 2019-10-28

Merge branch 'master' into use_has_coe_t

a239f5c2

Merge branch 'master' into use_has_coe_t

196a4c0d

mergify merged b5b674c2 into master 6 years ago

mergify deleted the use_has_coe_t branch 6 years ago

YaelDillies removed awaiting-review

Reviewers

ChrisHughes24

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone