On 2/6/24 13:07, Bruno Haible wrote:
The refactoring done in https://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=commitdiff;h=fcfce839e791e35b1be8378811d8f82e2b0ca99f omitted the month name and the abbreviated month name for August.
Must be a Freudian slip. August is my least favorite month, dating back to hot summers in Kansas in my youth....
Thanks for fixing that.
