Github user arucard21 commented on the issue:
https://github.com/apache/spark/pull/20880
> let's include that change here.
OK, I'll push the change in a few minutes. Should I close the other PR then?--- --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
