[Maria-developers] Welcome to Google Summer of Code 2020 with MariaDB