Skip to content
This repository has been archived by the owner on Aug 6, 2021. It is now read-only.

clean up join/leave handling #177

Merged
merged 1 commit into from
Aug 12, 2020
Merged

clean up join/leave handling #177

merged 1 commit into from
Aug 12, 2020

Conversation

das7pad
Copy link
Member

@das7pad das7pad commented Aug 12, 2020

@briangough @das7pad
clean up join/leave handling
0fb8898 
Co-Authored-By: Jakob Ackermann <jakob.ackermann@overleaf.com>
@das7pad das7pad added the Team-Magma Team Magma is actively working on this, or has it in the backlog label Aug 12, 2020
@das7pad das7pad requested a review from gh2k August 12, 2020 10:39
gh2k
gh2k approved these changes Aug 12, 2020
View reviewed changes
Copy link
Contributor

@gh2k gh2k left a comment •
edited by briangough
Loading

Choose a reason for hiding this comment

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

👍

@gh2k gh2k assigned das7pad and unassigned gh2k Aug 12, 2020
@das7pad das7pad merged commit 953c5f3 into master Aug 12, 2020
@das7pad das7pad deleted the jpa-bg-issue-3291 branch August 12, 2020 11:47
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@gh2k gh2k gh2k approved these changes

Assignees

@das7pad das7pad

Labels
Team-Magma Team Magma is actively working on this, or has it in the backlog
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@das7pad @gh2k @briangough