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

Add an uid for groups to avoid error on duplicate key #161

Open
jrmi opened this issue Dec 11, 2019 · 0 comments
Open

Add an uid for groups to avoid error on duplicate key #161

jrmi opened this issue Dec 11, 2019 · 0 comments

Comments

@jrmi
Copy link
Collaborator

jrmi commented Dec 11, 2019

On this line a map index is used for component key. Although we should never have problem here, we should find a durable way to fix it.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jrmi