mlugg aa65fd5d7c cases: fix type names
A different merge must have changed these numbers before this PR was
merged, leading to CI failures.
2025-06-07 13:06:51 -04:00
..
2025-06-07 13:06:51 -04:00
2025-06-01 12:10:57 +01:00
2025-06-03 15:04:43 -04:00
2024-03-28 15:24:01 +02:00