[Gmp-commit] /var/hg/gmp: Mention snapshots in bug report instructions.

[mercurial at gmplib.org]

details:   /var/hg/gmp/rev/03aad4cce567
changeset: 18384:03aad4cce567
user:      Marc Glisse <marc.glisse at inria.fr>
date:      Thu Jul 06 09:39:36 2023 +0200
description:
Mention snapshots in bug report instructions.

diffstat:

 ChangeLog    |  4 ++++
 doc/gmp.texi |  3 ++-
 2 files changed, 6 insertions(+), 1 deletions(-)

diffs (24 lines):

diff -r e91cbbacde89 -r 03aad4cce567 ChangeLog
--- a/ChangeLog	Thu Jul 06 00:27:27 2023 +0200
+++ b/ChangeLog	Thu Jul 06 09:39:36 2023 +0200
@@ -1,3 +1,7 @@
+2023-07-06  Marc Glisse  <marc.glisse at inria.fr>
+
+	* doc/gmp.texi: Mention snapshots in bug report instructions.
+
 2023-06-23 Marius Hillenbrand <mhillen at linux.ibm.com>
 	   Stefan Liebler <stli at linux.ibm.com>
 
diff -r e91cbbacde89 -r 03aad4cce567 doc/gmp.texi
--- a/doc/gmp.texi	Thu Jul 06 00:27:27 2023 +0200
+++ b/doc/gmp.texi	Thu Jul 06 09:39:36 2023 +0200
@@ -2969,7 +2969,8 @@
 
 Before you report a bug, check it's not already addressed in @ref{Known Build
 Problems}, or perhaps @ref{Notes for Particular Systems}.  You may also want
-to check @uref{https://gmplib.org/} for patches for this release.
+to check @uref{https://gmplib.org/} for patches for this release, or try a
+recent snapshot from @uref{https://gmplib.org/download/snapshot/}.
 
 Please include the following in any report: