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

Fixes #2142 remove unused observers #2145

Merged

Yuri05 merged 1 commit into develop from 2142-remove-unused-observers

Mar 28, 2022

Member

msevestre commented Mar 28, 2022

No description provided.


          Fixes #2142 remove unused observers

3a73d3d

msevestre requested a review from Yuri05

March 28, 2022 14:31

Member Author

msevestre commented Mar 28, 2022

@Yuri05 If the build is successful, I think it's safe to merge :)

Yuri05 approved these changes

View reviewed changes

Yuri05 merged commit d97339c into develop

Yuri05 deleted the 2142-remove-unused-observers branch

March 28, 2022 15:08

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

Labels

None yet