Skip to content

Conversation

bergmeister
Copy link
Collaborator

@bergmeister bergmeister commented May 22, 2020

PR Summary

Fixes #1511

TODO: write test

PR Checklist

@bergmeister
Copy link
Collaborator Author

Closed as I already did the fix in PR #1493, my fork just wasn't up to date

@bergmeister bergmeister deleted the bergmeister-patch-4 branch October 24, 2020 12:44
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