Skip to content

Conversation

@Gobot1234
Copy link
Collaborator

This lets linters know that we shouldn't access fields that aren't actually defined

This lets linters know that we shouldn't access fields that aren't actually defined
@Gobot1234 Gobot1234 requested a review from cetanu April 13, 2022 17:18
@Gobot1234 Gobot1234 merged commit b9b0b22 into master Apr 21, 2022
@Gobot1234 Gobot1234 deleted the Gobot1234-patch-1 branch April 21, 2022 14:44
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.

3 participants