PR #1013 feat(topology/maps): closed embeddings

feat(topology/maps): closed embeddings #1013

mergify merged 2 commits into master from rwbarton-closed-embeddings

feat(topology/maps): closed embeddings

b6c96434

rwbarton requested a review 6 years ago

MaloJaffre commented on 2019-05-12

fix "is_open_map"

ca4c0959

PatrickMassot approved these changes on 2019-05-12

PatrickMassot added ready-to-merge

mergify merged 1e0761e5 into master 6 years ago

mergify deleted the rwbarton-closed-embeddings branch 6 years ago

Reviewers

PatrickMassot

MaloJaffre

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone