On Tue, Nov 19, 2013 at 11:02:17AM -0800, Richard Smith wrote: > Please pull this change onto the release branch. Thanks! I would like to see the warning fixed, it has found real bugs already. Joerg