Is there a script running to close "old" PR's ? I was not aware of any discussion about this in dev list.
- Mridul --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@spark.apache.org For additional commands, e-mail: dev-h...@spark.apache.org
