mariadb-10.0 - security update

Several issues have been discovered in the MariaDB database server. The
vulnerabilities are addressed by upgrading MariaDB to the new upstream
version 10.0.20. Please see the MariaDB 10.0 Release Notes for further
details:

• 
  https://mariadb.com/kb/en/mariadb/mariadb-10017-release-notes/
• 
  https://mariadb.com/kb/en/mariadb/mariadb-10018-release-notes/
• 
  https://mariadb.com/kb/en/mariadb/mariadb-10019-release-notes/
• 
  https://mariadb.com/kb/en/mariadb/mariadb-10020-release-notes/

For the stable distribution (jessie), these problems have been fixed in
version 10.0.20-0+deb8u1.

For the unstable distribution (sid), these problems have been fixed in
version 10.0.20-1 or earlier versions.

We recommend that you upgrade your mariadb-10.0 packages.