Update TODO
commit79bcdd8a2a004451e9a86417cd58dce8990ad7d1
authorRichard W.M. Jones <rjones@redhat.com>
Mon, 10 Feb 2020 18:25:50 +0000 (10 18:25 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Mon, 10 Feb 2020 18:26:26 +0000 (10 18:26 +0000)
treea4be63fc540d5e6d5dfd7135fea71e643ee75b5c
parentd6bcb59910d9c2a7aa402688dcfd2acfb0cc0c0e
Update TODO

Remove suggestion to use Coverity since we did that analysis a few
months ago.
TODO