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.

Sign up for GitHub

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

Jump to bottom

s/msc/psc/g #270

Merged

silky merged 1 commit into IntersectMBO:main from lemmon-714:patch-1

Jan 24, 2022

Contributor

lemmon-714 commented Jan 22, 2022

To be in line with yesterday's (?) update to the other thing. Caused an error, now it does not.

Pre-submit checklist:

Branch
- Tests are provided (if possible)
- Commit sequence broadly makes sense
- Key commits have useful messages
- Relevant tickets are mentioned in commit messages
- Formatting, materialized Nix files, PNG optimization, etc. are updated
PR
- Self-reviewed the diff
- Useful pull request description
- Reviewer requested


          s/msg/psg/g

e4d4874

To be in line with yesterday's (?) update to the other thing. Caused an error, now it does not.

Contributor

silky commented Jan 24, 2022

thanks @lemmon-714 !

silky merged commit bc7bb24 into IntersectMBO:main

lemmon-714 deleted the patch-1 branch

January 24, 2022 11:38

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet