I haven't gotten these warnings when doing coverage analysis for several
months.  So we can close this ticket.

Reply via email to