Commit 5c631309 authored by Paul Eggert's avatar Paul Eggert

; Remove */localtime-buffer.* (omitted from previous commit by accident).

parent 5d89a9c2
Pipeline #6177 failed with stage
in 14 seconds