Github user srowen commented on the pull request:
https://github.com/apache/spark/pull/5540#issuecomment-93691415
That's fine. I think this is below the threshold of being worth opening a
PR, since it is a trivial improvement, and still takes, you know, probably half
an hour of time added up over all the people that will look at this, Jenkins
cycles, commit in the commit log, etc. Tiny cost but doesn't seem worth it
given how incredibly busy this is. Your time would be better spent reviewing
PRs or working on larger issues.
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at [email protected] or file a JIRA ticket
with INFRA.
---
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
