Skip to content

"optional" already means "allowed and not required" - #11004

Open
JovialKnoll wants to merge 1 commit into
neinteractiveliterature:mainfrom
JovialKnoll:enhance-brevity
Open

"optional" already means "allowed and not required"#11004
JovialKnoll wants to merge 1 commit into
neinteractiveliterature:mainfrom
JovialKnoll:enhance-brevity

it's obvious that 'optional' means 'is allowed but not required', so …

a239c96
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL succeeded Nov 4, 2025 in 2s

No new alerts in code changed by this pull request

View all branch alerts.