Skip to content

Conversation

@crandmck
Copy link
Collaborator

Changes in this pull request

Types of changes

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to change)

Checklist

  • All applicable changes have been documented
  • Any TO DO items (or similar) have been entered as GitHub issues and the link to that issue has been included in a comment

@crandmck crandmck merged commit 576a3e7 into main Oct 15, 2025
2 checks passed
@crandmck crandmck deleted the dev-survey branch October 15, 2025 22:18
@github-actions
Copy link

@github-actions github-actions bot temporarily deployed to pull request October 15, 2025 22:20 Inactive
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants