]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #9741 from owncloud/fix-repair-innodb-9737-master
authorMorris Jobke <hey@morrisjobke.de>
Sun, 20 Jul 2014 19:40:53 +0000 (21:40 +0200)
committerMorris Jobke <hey@morrisjobke.de>
Sun, 20 Jul 2014 19:40:53 +0000 (21:40 +0200)
check if $tables is an array


Trivial merge