Hey all. Has anyone seen this type of error? How do I reset? I'm at 3.6.0 All I did was attempt to remove a column from a table. A push:

Error: Cannot load from mysql.proc. The table is probably corrupted
   0: migration_core::api::SchemaPush
             at migration-engine/core/src/api.rs:184

A migration:

Error: Cannot load from mysql.proc. The table is probably corrupted
   0: sql_migration_connector::flavour::mysql::sql_schema_from_migration_history
             at migration-engine/connectors/sql-migration-connector/src/flavour/mysql.rs:424
   1: migration_core::api::DevDiagnostic
             at migration-engine/core/src/api.rs:108

Hi! Which version of MySQL are you running on here?