Skip to content

Fix #106213#106225

Merged
jrieken merged 1 commit intomicrosoft:masterfrom
LeuisKen:master
Sep 8, 2020
Merged

Fix #106213#106225
jrieken merged 1 commit intomicrosoft:masterfrom
LeuisKen:master

Conversation

@LeuisKen
Copy link
Copy Markdown
Contributor

@LeuisKen LeuisKen commented Sep 7, 2020

This PR fixes #106213

@jrieken jrieken added this to the September 2020 milestone Sep 8, 2020
@jrieken jrieken merged commit 2edbe68 into microsoft:master Sep 8, 2020
@github-actions github-actions Bot locked and limited conversation to collaborators Oct 23, 2020
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.

The implementation of SkipList seems to have useless level.

2 participants