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.