Anybody knows how the Oracle layoffs have impacted the MySQL team? discussion