Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upUpdate insert sort #2493
Update insert sort #2493
Conversation
update insert sort
|
@cclauss @nomisrevol @poyea @dhruvmanila Build passed. I think this PR can be merged now. |
|
@cclauss @nomisrevol @poyea @dhruvmanila Do you have time to review this ? |
|
Sorry, I got busy then. |
The changes requested has been made by the author.


update insert sort
Describe your change:
Checklist:
Fixes: #{$ISSUE_NO}.