Skip to content

Conversation

@blegat
Copy link
Member

@blegat blegat commented Aug 9, 2023

@blegat blegat marked this pull request as ready for review August 9, 2023 19:01
@odow
Copy link
Member

odow commented Aug 10, 2023

I'm not in favor of this. It just adds yet another method. We already have too many

@odow
Copy link
Member

odow commented Aug 10, 2023

See updated #2201. I don't think we need this

@blegat
Copy link
Member Author

blegat commented Aug 11, 2023

Yes, I think we should rather change the existing one with was a bad design but that's an MOI v2 thing

@blegat blegat closed this Aug 11, 2023
@odow odow deleted the bl/substitute branch September 27, 2023 03:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

3 participants