On Sun, Jan 01, 2017 at 04:48:33PM +0800, Alex Vong wrote:
> Hello,
> 
> This upgrades mysql to 5.7.17.
> 

> From d1e28eabd4c225c89dea6fecfca5a08e6b89594a Mon Sep 17 00:00:00 2001
> From: Alex Vong <alexvong1995@gmail.com>
> Date: Sun, 1 Jan 2017 16:15:51 +0800
> Subject: [PATCH] gnu: mysql: Update to 5.7.17.
> 
> * gnu/packages/databases.scm (mysql): Update to 5.7.17.

Thanks, pushed!