Re: [PATCH] gnu: mysql: Update to 5.7.17.

2017-01-01 Thread Leo Famulari
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 > Date: Sun, 1 Jan 2017 16:15:51 +0800 > Subject: [PATCH] gnu: mysql: Upda

[PATCH] gnu: mysql: Update to 5.7.17.

2017-01-01 Thread Alex Vong
Hello, This upgrades mysql to 5.7.17. From d1e28eabd4c225c89dea6fecfca5a08e6b89594a Mon Sep 17 00:00:00 2001 From: Alex Vong 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. --- gnu/packages