Skip to content
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.

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

master into develop #7272

Closed
wants to merge 4 commits into from
Closed

master into develop #7272

wants to merge 4 commits into from

Conversation

pwseg
Copy link
Contributor

@pwseg pwseg commented Nov 27, 2024

Proposed changes

  • Merging master back into develop after some troubleshooting.

Merge timing

  • ASAP once approved.

@pwseg pwseg added the back-end fixes or updates to the site itself, which should not go in release notes label Nov 27, 2024
@pwseg
Copy link
Contributor Author

pwseg commented Nov 27, 2024

Never mind, looks like everything is up to date!

@pwseg pwseg closed this Nov 27, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
back-end fixes or updates to the site itself, which should not go in release notes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants