Thanks! Merging it.

I am going to invite you in the dev team so you can push commits to app_python3 directly. For other modules or components, still use pull requests. Of course, you can still use pull requests for app_python3 in case you want others' opinion, review or comments.

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