Submitting upstream?

[bisonbet]

Hello! I wasn't sure how else to ask this, but I was curious if you planned to commit your changes upstream? (Or maybe it's already been planned, just didn't know)

[khosravipasha]

yeah we already submitted a long time ago :)

ml-explore#3161

The PR getting merged or not is out of our control at this point.