On Tue, 02 Jul 2019 09:43:13 -0600, "Theo de Raadt" wrote:

> Yes, that is a problem.  Same problem applies to two other files;
> here are the diffs I propose.

Looks good.  OK millert@

 - todd

Reply via email to