On 12/18/2014 11:31 AM, Paolo Carlini wrote:
+         warning_sentinel s (extra_warnings);

Let's add a comment about which warning we're avoiding here. OK with that change.

Jason

Reply via email to