innodb_gis.types failed in buildbot with Table 'plugin' is marked as crashed and should be repaired

innodb_gis.types 'innodb'                w3 [ fail ]  Found warnings/errors in server log file!

        Test ended at 2018-03-26 11:45:33

line

2018-03-26 11:45:32 3057485568 [ERROR] mysqld: Table './mysql/plugin' is marked as crashed and should be repaired

2018-03-26 11:45:32 3057485568 [ERROR] mysqld: Table 'plugin' is marked as crashed and should be repaired

2018-03-26 11:45:32 3057485568 [Warning] Checking table:   './mysql/plugin'

2018-03-26 11:45:32 3057485568 [ERROR] mysql.plugin: 1 client is using or hasn't closed the table properly

^ Found warnings in /usr/local/mariadb-10.2.14-linux-i686/mysql-test/var/3/log/mysqld.1.err

ok

 - saving '/usr/local/mariadb-10.2.14-linux-i686/mysql-test/var/3/log/innodb_gis.types-innodb/' to '/usr/local/mariadb-10.2.14-linux-i686/mysql-test/var/log/innodb_gis.types-innodb/'

Retrying test innodb_gis.types, attempt(2/3)...