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

fix: wrong ratio_filter #457

Merged
merged 1 commit into from
Nov 29, 2022
Merged

fix: wrong ratio_filter #457

merged 1 commit into from
Nov 29, 2022

Conversation

Gigaszi
Copy link
Contributor

@Gigaszi Gigaszi commented Nov 29, 2022 •
edited

Description

Please add a clear and concise description of what your PR solves.

Corresponding issue

Closes None

New or changed dependencies

  • None

Checklist

  • I have updated my branch to main (e.g. through git rebase main)
  • My code follows the style guide and was checked with pre-commit before committing
  • I have commented my code
  • I have added sufficient unit and integration tests
  • I have updated the CHANGELOG.md

@Gigaszi Gigaszi requested a review from hn437 November 29, 2022 13:57
@Gigaszi Gigaszi added this to the Release 0.14.0 milestone Nov 29, 2022
@hn437 hn437 merged commit e894228 into main Nov 29, 2022
@hn437 hn437 deleted the fix_building_count branch November 29, 2022 14:22
@matthiasschaub matthiasschaub mentioned this pull request Feb 27, 2023
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@hn437 hn437 hn437 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
Release 0.14.0
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@Gigaszi @hn437