bresch 2ad25570ee do not check pointer validity before deleting
Deleting a nullptr has no effect
(this addresses a clang-tidy error)
2026-01-22 10:03:24 +01:00
..
2024-11-15 12:01:06 -05:00
2024-12-03 13:03:54 +01:00
2025-09-18 15:50:10 +02:00
2025-05-07 17:42:07 +02:00
2025-05-23 11:30:55 +02:00