delete redundant leftovers (#4340)

This commit is contained in:
serinko
2024-01-19 11:38:03 +00:00
committed by GitHub
parent 8bd758ad0e
commit 17c6b79735