Module Name: src Committed By: mrg Date: Tue Aug 22 10:04:44 UTC 2017
Modified Files:
src: UPDATING
src/doc: 3RDPARTY
Log Message:
note GMP 6.1.2 release and the build issues that may occur.
To generate a diff of this commit:
cvs rdiff -u -r1.285 -r1.286 src/UPDATING
cvs rdiff -u -r1.1466 -r1.1467 src/doc/3RDPARTY
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
