[MariaDB discuss] Moving forward the pull request

Hello Everyone, made some changes to my pull request. How to move it forward? Want to see if design is ok to make some final code changes. github.com https://github.com/MariaDB/server/pull/3891 Thanks