Commit 18b2324bc58d26109da63bc599c515dfc5c2995d

Bruno Haible 2020-08-07T03:06:10

Avoid a GCC warning with GCC >= 7.