Commit d27dff92f080f43670a9c1fe3cac32f32c50862c
2019-10-27T18:39:14
update manual: replace mp_bool/MP_YES/MP_NO references by bool/true/false
update manual: replace mp_bool/MP_YES/MP_NO references by bool/true/false