Skip to content
This repository was archived by the owner on Nov 15, 2023. It is now read-only.

Conversation

@gui1117
Copy link
Contributor

@gui1117 gui1117 commented Dec 2, 2019

superseed #3749
Closes #3741

done on top of #3749 done by @rockbmb

  • fix tests
  • improve a bit some namings

@gui1117 gui1117 requested a review from kianenigma as a code owner December 2, 2019 11:11
@gui1117 gui1117 added the A0-please_review Pull request needs code review. label Dec 2, 2019
@bkchr bkchr merged commit a5739a9 into master Dec 2, 2019
@bkchr bkchr deleted the gui-rockbmb-double-map-functions branch December 2, 2019 12:01
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

A0-please_review Pull request needs code review.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Make feature of DoubleMap on par with Maps

4 participants