Skip to content
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

Tickets/dm 4021 #37

Merged
merged 2 commits into from Nov 24, 2015
Merged

Tickets/dm 4021 #37

merged 2 commits into from Nov 24, 2015

Conversation

SimonKrughoff
Copy link
Contributor

No description provided.

@PaulPrice
Copy link
Contributor

For the first commit, please use the summary line to state what has changed, e.g., "remove const keys for unordered_map". The explanation about std::unordered_map forbidding them can go underneath.

@r-owen r-owen merged commit f9d9c1a into master Nov 24, 2015
@ktlim ktlim deleted the tickets/DM-4021 branch August 25, 2018 06:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants