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

Removed unused property #412

Merged

martingrossmann merged 1 commit into master from feature/remove-unused-prop

Apr 10, 2024

Contributor

martingrossmann commented Apr 9, 2024

Description

Removed a very outdated and unused property.

Type of change

Please delete options that are not relevant.

Bug fix (non-breaking change which fixes an issue)

Checklist:

My code follows the style guidelines of this project
I have performed a self-review of my own code
I have commented my code, particularly in hard-to-understand areas
I have made corresponding changes to the documentation
My changes generate no new warnings
I have added tests that prove my fix is effective or that my feature works
New and existing tests pass locally with my changes
Any dependent changes have been merged and published in downstream modules


          Removed unused property

81ee825

martingrossmann requested review from mreiche, gogro, mbeuthan and wolamms as code owners

April 9, 2024 06:50

martingrossmann merged commit 2365c42 into master

martingrossmann deleted the feature/remove-unused-prop branch

April 10, 2024 12:23

martingrossmann added this to the 2.8 milestone

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

mreiche Awaiting requested review from mreiche mreiche is a code owner

gogro Awaiting requested review from gogro

mbeuthan Awaiting requested review from mbeuthan mbeuthan is a code owner

wolamms Awaiting requested review from wolamms

Labels

None yet