CodeQL is useless.

This commit is contained in:
David Given 2022-06-26 16:40:23 +02:00
parent 9579d3ba37
commit b248613ba5