diff -r b09aae58bba4 -r 78f943d76f50 src/hash_key.c --- a/src/hash_key.c Sun Apr 09 19:03:58 2023 +0200 +++ b/src/hash_key.c Sun Apr 09 19:06:16 2023 +0200 @@ -71,7 +71,7 @@ h *= m; __attribute__((__fallthrough__)); default: // do nothing - ; + ; } h ^= h >> 13;