Skip to content

Conversation

@dkarrasch
Copy link
Contributor

This came up in a nanosoldier run in JuliaLang/julia#47107. This should do no harm here, but prevents ambiguities with the generalized methods there.

@j-fu j-fu merged commit ce2d62d into WIAS-PDELib:master Oct 12, 2022
j-fu added a commit that referenced this pull request Oct 12, 2022
@dkarrasch dkarrasch deleted the patch-1 branch October 12, 2022 13:30
@j-fu
Copy link
Member

j-fu commented Oct 12, 2022

Thanks for the hint!

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