Skip to content

Conversation

AndreasArvidsson
Copy link
Member

Forgot to update doc string in previous pr

Checklist

@AndreasArvidsson AndreasArvidsson requested a review from pokey as a code owner June 15, 2023 12:32
@pokey pokey enabled auto-merge June 15, 2023 12:32
@pokey pokey added this pull request to the merge queue Jun 15, 2023
Merged via the queue into main with commit fcdf70c Jun 15, 2023
@pokey pokey deleted the storedTargetDocString branch June 15, 2023 13:08
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