Skip to content

Remove no-longer-relevant comment - #780

Open
perlun wants to merge 1 commit into
aloneguid:masterfrom
perlun:patch-1
Open

Remove no-longer-relevant comment#780
perlun wants to merge 1 commit into
aloneguid:masterfrom
perlun:patch-1

Conversation

@perlun

@perlun perlun commented Aug 7, 2026

Copy link
Copy Markdown

Happened to see this in the XML docs for the property. Likely related to some time before, when the property was named something else?

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.

1 participant