On 12/31/17 2:13 PM, Jorge Maldonado Ventura wrote:
> Description: I don't know if I should change PATCHLEVEL number, so
> increment it if necessary. I didn't generate the PDF, HTML, etc. to make
> the patch smaller. Please amend the commit if necessary. Below the
> changes made.
Thanks for the re
Description: I don't know if I should change PATCHLEVEL number, so
increment it if necessary. I didn't generate the PDF, HTML, etc. to make
the patch smaller. Please amend the commit if necessary. Below the
changes made.
The following changes since commit bc007799f0e1362100375bb95d952d28de4c62fb:
