Skip to content
This repository has been archived by the owner on Aug 3, 2022. It is now read-only.

Make redirect conditions unique. #2

Merged
merged 2 commits into from Sep 23, 2019
Merged

Make redirect conditions unique. #2

merged 2 commits into from Sep 23, 2019

Conversation

calavera
Copy link
Contributor

Use a HashSet instead of a vector.

Use a HashSet instead of a vector.

Signed-off-by: David Calavera <david.calavera@gmail.com>
Signed-off-by: David Calavera <david.calavera@gmail.com>
@calavera calavera merged commit e632109 into master Sep 23, 2019
@calavera calavera deleted the unique_conditions branch September 23, 2019 20:49
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.

None yet

1 participant