Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Correct spelling of lambda in given example #1

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

stephancom
Copy link

No description provided.

@CyborgMaster
Copy link
Owner

I appreciate the correction and will be happy to accept the patch here, but I'm not sure this is the best place to do it. There is a currently open discussion about the future of Protector (inossidabile#59) and the current consensus is that a new organization should be created to host the project. It might be better to submit the fix there after we get it figured out.

@stephancom
Copy link
Author

Thanks :) I just wanted to do it while I noticed it and this looked like the spot :)

@CyborgMaster
Copy link
Owner

Cool. I believe the best thing to do is to leave this PR open for now. I'm not managing the master branch on this repo and am using several patch branches for PR back to the original. I worry that if I merge it now, when we finally get the official repo setup, I'll forget that it was done and we'll lose the change.

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.

2 participants