Thank you. From the code it looks good to me. I think it can be merged when git master is opened again (after 5.3.0 release).

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