On 11/24/20 6:16 AM, Thomas Schwinge wrote:
> Hi!
>
> Ping.  Anybody got an opinion on the approach we should take?
Could we set warning_threshold to a value to inhibit this behavior
completely.  It seems backwards to me that warnings have this effect.

Jeff

Reply via email to