[#MDEV-20524] innodb.innodb_bug47167 failed in buildbot with "Table 'user' is marked as crashed and should be repaired"

10.2 64c6f2bffc321f7640ae683d0341e1bc
innodb.innodb_bug47167 'innodb' w4 [ fail ] Found warnings/errors in server log file!
Test ended at 2019-08-20 07:20:14
line
2019-08-20 7:20:13 7484 [ERROR] mysqld.exe: Table '.\mysql\user' is marked as crashed and should be repaired
2019-08-20 7:20:13 7484 [ERROR] mysqld.exe: Table 'user' is marked as crashed and should be repaired
2019-08-20 7:20:13 7484 [Warning] Checking table: '.\mysql\user'
2019-08-20 7:20:13 7484 [ERROR] mysql.user: 1 client is using or hasn't closed the table properly
^ Found warnings in D:/win32-debug/build/mysql-test/var/4/log/mysqld.1.err

[MDEV-20524] innodb.innodb_bug47167 failed in buildbot with "Table 'user' is marked as crashed and should be repaired" Created: 2019-09-07 Updated: 2023-11-29 Resolved: 2023-11-29
Status:	Closed
Project:	MariaDB Server
Component/s:	Tests
Affects Version/s:	10.2
Fix Version/s:	N/A