Skip to content

Conversation

gpotter2
Copy link
Member

After having I had another look (especially with additional work on #1726), this part of #1986 was wrong, as @guedou guessed.

@gpotter2 gpotter2 closed this Jun 29, 2019
@gpotter2 gpotter2 deleted the gpotter2-patch-1 branch June 29, 2019 10:46
@gpotter2
Copy link
Member Author

I'm not sure of this.

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