Skip to content

Conversation

@Kasui92
Copy link
Contributor

@Kasui92 Kasui92 commented Jul 23, 2025

I noticed that the summary for this field was the same as window-gap-size. I added one, trying to maintain the same format.

@jmmaranan jmmaranan self-requested a review July 28, 2025 11:27
@jmmaranan jmmaranan merged commit 86a04b3 into forge-ext:main Aug 15, 2025
2 checks passed
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