Re: A missing symbol in documentation CHIBA Masaomi 24 Feb 2020 14:29 UTC

I closed  the pull request.
Thank you for your response and patch file.

Regards,
Masaomi CHIBA