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 Jan 10, 2020

society merge has conflicted with new syntax of doublemap #4576

Here is the fix.

@gavofyork gavofyork merged commit d302c58 into master Jan 10, 2020
@gavofyork gavofyork deleted the gui-fix-society branch January 10, 2020 14:10
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants