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

restaurant.json: add missing gutters #56618

Merged
merged 2 commits into from
Apr 6, 2022

Conversation

NetSysFire
Copy link
Member

Summary

Bugfixes "Add missing gutters on restaurant roof"

Purpose of change

image

image

Note the missing gutters here. They have been taunting me for a while and now their end is nigh.

Describe the solution

Add some gutter_north.

Describe alternatives you've considered

None.

Testing

Change performed locally. Works for me.

Additional context

@NetSysFire NetSysFire added Map / Mapgen Overmap, Mapgen, Map extras, Map display <Bugfix> This is a fix for a bug (or closes open issue) labels Apr 5, 2022
@github-actions github-actions bot added [JSON] Changes (can be) made in JSON json-styled JSON lint passed, label assigned by github actions astyled astyled PR, label is assigned by github actions BasicBuildPassed This PR builds correctly, label assigned by github actions labels Apr 5, 2022
@Rivet-the-Zombie Rivet-the-Zombie merged commit a73be4c into CleverRaven:master Apr 6, 2022
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 Map / Mapgen Overmap, Mapgen, Map extras, Map display
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants