I found another warning, so please look at this patch instead, which supersedes the other one I sent.

-- 
Sent with https://mailfence.com
Secure and private email