[master] updated git hash

diff --git a/ChangeLog b/ChangeLog
index 2f6f6aae461d6134ddf1d3f2c5f7f666a1786b0b..76dffcc89fb65db0a581ef7afef9714365cfa797 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -2,7 +2,7 @@
        Corrected problem in build system whereby specifying an
        installation directory on the "configure" command line that
        included a "+" in the name caused the build to fail.
-       (Trac #3713, git xxx)
+       (Trac #3713, git 741ff09b743307bad28ae13db440e5e0f402d319)
 
 928.   [build]         fdupont
        A CONFIG_H_WAS_INCLUDED define has been added to provide