Merge branch 'main' into propagate_doc

pull/7267/head
Jelte Fennema-Nio 2023-11-02 10:39:31 +01:00 committed by GitHub
commit ce98025539
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -22,6 +22,7 @@ setup
teardown
{
SELECT wait_until_metadata_sync();
DROP FUNCTION trigger_metadata_sync();
DROP TABLE deadlock_detection_test;
DROP TABLE t2;