Skip to content

Conversation

MinnDevelopment
Copy link
Member

Pull Request Etiquette

Changes

  • Internal code
  • Library interface (affecting end-user code)
  • Documentation
  • Other: _____

Closes Issue: NaN

Description

These were missing.

@MinnDevelopment MinnDevelopment merged commit ded34dd into master Oct 7, 2022
@MinnDevelopment MinnDevelopment deleted the patch-annotations branch October 7, 2022 14:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant