MySQL Bugs: #1341: InnoDB ibdata1 never shrinks after data is removed | Hacker News Reader