Commit bde40c44a9aed09fb44f12a7c42c938f15613abc

Steffen Jaeckel 2019-10-27T22:06:11

Merge pull request #421 from libtom/doc-fix manual: don't mention obsolete MP_DIV_SMALL