New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
MarketMap renamed to TileMap #744
base: master
Are you sure you want to change the base?
Conversation
This looks good to me, although it is a backward-incompatible change. We are probably going to tag a bug-fix patch release before moving forward with this. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Leaving the PR in "Request changes" so that it is not merged by accident in a backward-compatible release.
@SylvainCorlay do you want me to add the MarketMap back (while keeping the TileMap) with deprecation warning? |
I think it is fine as is. I just want to tag a conservative patch release very soon. Then we can start with breaking changes in master (theming, renamings, megamarks). |
fixes #743