Module Name: src Committed By: mrg Date: Sun Sep 27 00:32:22 UTC 2020
Modified Files:
src/doc: 3RDPARTY
Log Message:
note GMP 6.2.0 is in -current.
To generate a diff of this commit:
cvs rdiff -u -r1.1746 -r1.1747 src/doc/3RDPARTY
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
