On Wed, 23 Feb 2022 00:04:07 +0100, Theo Buehler wrote:

> Hard to hit. Nevertheless it seems better to error out than to
> crash in strcmp()

Sure.  OK millert@

 - todd

Reply via email to