Update to commit b83e48657bac55e4137c225318c0d80d3953d5c9 dated August 15, 2020....

[inform.git] / src / errors.c

diff --git a/src/errors.c b/src/errors.c
index 73fa1be7430d277998fd9c070b003bc96bf7fabb..d13039890700112fc767ad8b63a7931833ac07df 100644 (file)
--- a/src/errors.c
+++ b/src/errors.c
@@ -402,7 +402,8 @@ Check to see if there is a more recent version available, from which\n\
 the problem may have been removed. If not, please report this fault\n\
 and if at all possible, please include your source code, as faults\n\
 such as these are rare and often difficult to reproduce. Sorry.\n\
-***********************************************************************\n");
+***********************************************************************\n",
+    (RELEASE_NUMBER/100)%10, RELEASE_NUMBER%100, RELEASE_DATE);
 }
 
 extern int compiler_error(char *s)