Skip to content

Properly obsolete filter paper recipe#60886

Merged
dseguin merged 1 commit intoCleverRaven:masterfrom
onura46:filter-paper-obsolete
Sep 9, 2022
Merged

Properly obsolete filter paper recipe#60886
dseguin merged 1 commit intoCleverRaven:masterfrom
onura46:filter-paper-obsolete

Conversation

@onura46
Copy link
Contributor

@onura46 onura46 commented Sep 9, 2022

Summary

None

Purpose of change

Follows #60616; properly obsoletes lab-quality filter paper recipe

Describe the solution

In #60616 I didn't properly obsolete the lab-quality filter paper recipe, which I should have known to do. An old save revealed my mistake when I noticed the missing recipe error on a load, so I'm fixing it!

Describe alternatives you've considered

Testing

Tested on my own compiled version

Additional context

@github-actions github-actions bot added [JSON] Changes (can be) made in JSON Crafting / Construction / Recipes Includes: Uncrafting / Disassembling astyled astyled PR, label is assigned by github actions json-styled JSON lint passed, label assigned by github actions labels Sep 9, 2022
@dseguin dseguin merged commit 8c2607e into CleverRaven:master Sep 9, 2022
@github-actions github-actions bot added the BasicBuildPassed This PR builds correctly, label assigned by github actions label Sep 10, 2022
@onura46 onura46 deleted the filter-paper-obsolete branch September 11, 2022 18:37
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 Crafting / Construction / Recipes Includes: Uncrafting / Disassembling [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.

2 participants