MySQL 5.7.12: more than a maintenance release | Hacker News Reader