In mpfr.texi, added a "@." to avoid a warning from mpfrlint.
Note: This is not needed at the end of a paragraph like here, but this is a general warning, just in case text is added or moved.
Note: This is not needed at the end of a paragraph like here, but this is a general warning, just in case text is added or moved.
mentioned in commit bb4d1561
·mentioned in commit bb4d1561