Skip to content

Conversation

danielmarbach
Copy link
Contributor

@danielmarbach danielmarbach commented Feb 12, 2025

Follow through on #1112

@danielmarbach danielmarbach self-assigned this Feb 12, 2025
@danielmarbach danielmarbach enabled auto-merge (squash) February 12, 2025 11:00
@danielmarbach danielmarbach merged commit 7f0d318 into master Feb 13, 2025
3 checks passed
@danielmarbach danielmarbach deleted the json-improvements branch February 13, 2025 09:25
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