@MoAlyousef I'd like to close this issue (again) because the first part has been resolved and committed. I see that the second part (Sep. 25, 2020) is related but I'd like to have these two issues separated for better maintainability.

May I ask you to open another issue with a new subject that reflects your 2nd issue?

You could copy the description and the patch if it is still an issue (or even open a PR) so we could better track only this 2nd issue. Then we could close this issue again. TIA.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.