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: [email protected] For additional commands, e-mail: [email protected]
