Skip to content

Conversation

@chrisbobbe
Copy link
Collaborator

Noticed while reviewing #1902.

We do this at the other sites where there's an existing controller
that we want to replace with a new one. I suppose this fixes a small
memory leak; I just noticed it from reading code, not from profiling
or anything.
@chrisbobbe chrisbobbe added the maintainer review PR ready for review by Zulip maintainers label Nov 8, 2025
Copy link
Member

@rajveermalviya rajveermalviya left a comment

Choose a reason for hiding this comment

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

Thanks @chrisbobbe! LGTM, moving over to Greg's review.

@rajveermalviya rajveermalviya added integration review Added by maintainers when PR may be ready for integration and removed maintainer review PR ready for review by Zulip maintainers labels Nov 10, 2025
@gnprice
Copy link
Member

gnprice commented Nov 10, 2025

Thanks! Looks good; merging.

@gnprice gnprice merged commit 3ae958e into zulip:main Nov 10, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

integration review Added by maintainers when PR may be ready for integration

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants