Commit 7a69bf6c6c6a735ac00332e694123b5fafd0fa2d

Bruno Haible 2022-11-03T03:17:37

scratch_buffer: Document last change. * NEWS: Mention last change.