Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

@drbeefsupreme
Copy link
Collaborator

This is identical to #5522, I was just asked to merge it into next/arvo instead of release/next-userspace

@Fang-
Copy link
Collaborator

Fang- commented Jan 27, 2022

I actually like the code as it exists in #5522 a little bit better. This does an unnecessary assignment to sed and does repeated +snocs instead of a single +flop.

Any particular reason for these changes? (Seems functionally equivalent though.)

@drbeefsupreme
Copy link
Collaborator Author

Whoops, that's what I get for copying and pasting on a new branch without double checking instead of doing things the right way. Thanks for catching that. It was supposed to be identical to #5522.

@drbeefsupreme
Copy link
Collaborator Author

@Fang- OK now it should actually be identical.

Copy link
Collaborator

@Fang- Fang- left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

copying and pasting on a new branch

Just git cherry-pick the commit over. (;

This looks good, thanks!

@Fang- Fang- merged commit e33af60 into next/arvo Jan 31, 2022
@Fang- Fang- deleted the fix-rekey-for-multikey branch January 31, 2022 15:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants