tree 7943b4f44452063e2202ddd00c5131891a14e0f3
parent 02cb21df3f4a8c27f3c84fc27e435433fe7f5653
author Benjamin Kramer <benny.kra@googlemail.com> 1585910765 +0200
committer Benjamin Kramer <benny.kra@googlemail.com> 1585910905 +0200

Drop unused diagnostic. NFC.