On 10/17/2011 12:43 PM, Kevin Wolf wrote:
Cool, I wasn't aware of that. That's a very nice side effect!Maybe we should write this down in a comment and remove the now unnecessary error handling from callers.
Looks like I finally have an excuse to play with Coccinelle! Paolo