On Thu, Jan 16, 2020 at 1:31 AM Carl Sorensen <[email protected]> wrote:

>
>
> It may be desirable, but it’s not **necessary** to add a warning.  At
> this point, I don’t think we have the infrastructure to add the warning.
>

I did not know that. I thought that such a modification was a one-line
change.

Reply via email to