@email@example.com Is there a consensus to kill #2821, or is further discussion needed?
02/01/2023, 5:31 PM
I think we need more discussion, the methods are still useful but the name clashing on ambiguity is an issue. We need to decide if we kill it or we still want a new name for those methods. I'll bring this up tomorrow in the arrow meeting and see what people think about it.