On 1/25/20 6:11 PM, Bruno Haible wrote:
- the patch was fine.
Thanks for the feedback.

Bruno

Thanks for the quick response times and help in resolving the bug!


Reply via email to