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.

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

[no squash] Minor bugfixes #13830

Merged
merged 3 commits into from Sep 24, 2023
Merged

[no squash] Minor bugfixes #13830

merged 3 commits into from Sep 24, 2023

Conversation

sfan5
Copy link
Member

@sfan5 sfan5 commented Sep 22, 2023

No description provided.

@sfan5 sfan5 added the Bugfix 🐛 PRs that fix a bug label Sep 22, 2023
@sfan5 sfan5 added the Trivial The change is a trivial bug fix, documentation or maintenance change, as per the Git Guidelines label Sep 22, 2023
erlehmann
erlehmann reviewed Sep 22, 2023
View reviewed changes
Copy link
Contributor

@erlehmann erlehmann left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think the commit messages speak for themselves.

I think the PR description should probably refer to the issues that these patches resolve.

@sfan5 sfan5 changed the title Minor bugfixes [no squash] Minor bugfixes Sep 24, 2023
@sfan5 sfan5 merged commit b0d5ced into minetest:master Sep 24, 2023
13 checks passed
@sfan5 sfan5 deleted the the_breakthrough_in_bug_fixing branch September 24, 2023 14:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@erlehmann erlehmann erlehmann left review comments

@Desour Desour Desour approved these changes

@appgurueu appgurueu appgurueu left review comments

@x2048 x2048 x2048 approved these changes

Assignees
No one assigned
Labels
Bugfix 🐛 PRs that fix a bug Trivial The change is a trivial bug fix, documentation or maintenance change, as per the Git Guidelines >= Two approvals ✅ ✅
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
5 participants
@sfan5 @erlehmann @x2048 @Desour @appgurueu