master 62bdd307a7f: * etc/TODO (Native compiler improvements): Remove an entry as completed.

[Andrea Corallo]

branch: master
commit 62bdd307a7fd6c319529b7b20425b993a2945043
Author: Andrea Corallo <acorallo@gnu.org>
Commit: Andrea Corallo <acorallo@gnu.org>

    * etc/TODO (Native compiler improvements): Remove an entry as completed.
---
 etc/TODO | 16 ----------------
 1 file changed, 16 deletions(-)

diff --git a/etc/TODO b/etc/TODO
index 0152cf9303e..52c77ccc28d 100644
--- a/etc/TODO
+++ b/etc/TODO
@@ -910,22 +910,6 @@ restore the redirection through funcall.
 
 *** Features to be improved or missing
 
-**** Diagnostic
-
-***** Filtering async warnings
-
-Add a new 'native-comp-async-report-warnings-errors' value such that
-we filter out all the uninteresting warnings (that the programmer
-already got during byte compilation) but we still report the important
-ones ('the function ‘xxx’ is not known to be defined.').
-
-This way even if the package developer doesn't use native compilation
-it can get the bug report for the issue and
-'*Async-native-compile-log*' is not too crowded.
-
-This new value for 'native-comp-async-report-warnings-errors' should
-be default.
-
 **** Fix portable dumping so that you can redump without using -batch
 
 ***** Redumps and native compiler "preloaded" sub-folder.