Skip to content

Conversation

cityofships
Copy link
Member

@cityofships cityofships commented Feb 20, 2023

@cityofships cityofships requested a review from a team as a code owner February 20, 2023 10:19
@markgoddard markgoddard merged commit 5c1c222 into main Feb 20, 2023
@markgoddard markgoddard deleted the pin_version branch February 20, 2023 10:32
scrungus pushed a commit that referenced this pull request Nov 30, 2023
Pin collection version & document compatibility
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