Bruno Haible Mon, 13 Apr 2020 15:50:04 -0700
> Use '\0' instead of 0 Pushed with a gnulib-style ChangeLog entry.
Bruno