branch master updated: add ChangeLog summary line that was missed by mistake

[Gavin D. Smith]

This is an automated email from the git hooks/post-receive script.

gavin pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new 274e79bb33 add ChangeLog summary line that was missed by mistake
274e79bb33 is described below

commit 274e79bb33f333644f3e7d82a0a7fcc9a1d4de8a
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Mon Jun 10 22:03:09 2024 +0100

    add ChangeLog summary line that was missed by mistake
---
 ChangeLog | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index ac8ca9f450..16a2be63fe 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2024-06-10  Bruno Haible  <bruno@clisp.org>
 
+       man: Add support for VPATH builds with OpenBSD 'make'
+
        * man/Makefile.am: In the rules that use HELP2MAN, prefix the
        target file names with '$(srcdir)/'.