Hi, First of all thank you for maintaining the mysql port. For performance optimizing I'm depending on mysql57 (update_time on InnoDB). Do you have any plans to bring 57 into the ports tree. I know it's not a GA yet but it would be so helpful if I could already install it and upgrade easily. All the best. Ruud