Skip to content

Conversation

@jbhavesh
Copy link

No description provided.

@zulipbot zulipbot added size: XL and removed size: S labels Mar 20, 2023
@zulipbot
Copy link
Member

Heads up @jbhavesh, we just merged some commits that conflict with the changes you made in this pull request! You can review this repository's recent commits to see where the conflicts occur. Please rebase your feature branch against the upstream/main branch and resolve your pull request's merge conflicts accordingly.

@timabbott
Copy link
Member

Closing as #838 was merged for the original issue.

Thanks for the effort @jbhavesh!

@timabbott timabbott closed this Nov 21, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants