Skip to content
This repository has been archived by the owner on Aug 22, 2019. It is now read-only.

Add map #1893

Merged
merged 52 commits into from Apr 17, 2019
Merged

Add map #1893

merged 52 commits into from Apr 17, 2019

Conversation

akelad
Copy link
Contributor

@akelad akelad commented Apr 17, 2019

Proposed changes:

  • ...

Status (please check what you already did):

  • made PR ready for code review
  • added some tests for the functionality
  • updated the documentation
  • updated the changelog

@akelad akelad merged commit 2899f74 into prep_0.14_release Apr 17, 2019
@akelad akelad deleted the add_map branch April 17, 2019 16:32
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
4 participants