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

fix ingredients of slow-sand filter recipe #74332

Merged
merged 1 commit into from
Jun 11, 2024

Conversation

nornagon
Copy link
Contributor

@nornagon nornagon commented Jun 5, 2024

Summary

None

Purpose of change

Thanks @osuphobia for noticing in #72252, the weight was changed but the recipe wasn't.

Describe the solution

Updated the recipe to match the weight change.

Describe alternatives you've considered

Testing

Additional context

@github-actions github-actions bot added the [JSON] Changes (can be) made in JSON label Jun 5, 2024
@nornagon nornagon mentioned this pull request Jun 5, 2024
@github-actions github-actions bot added <Bugfix> This is a fix for a bug (or closes open issue) astyled astyled PR, label is assigned by github actions json-styled JSON lint passed, label assigned by github actions labels Jun 5, 2024
@Brambor
Copy link
Contributor

Brambor commented Jun 5, 2024

Small note: If I fix something I just made, I don't bother with Summary and just write NONE, as the bug is so short-lived that nobody knew it existed. And it is for general public mainly.

In other words, you can rightfully pretend it always worked :).

@github-actions github-actions bot added the BasicBuildPassed This PR builds correctly, label assigned by github actions label Jun 5, 2024
@Maleclypse Maleclypse merged commit e242061 into CleverRaven:master Jun 11, 2024
23 of 27 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
astyled astyled PR, label is assigned by github actions BasicBuildPassed This PR builds correctly, label assigned by github actions <Bugfix> This is a fix for a bug (or closes open issue) [JSON] Changes (can be) made in JSON json-styled JSON lint passed, label assigned by github actions
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants