mirror of
https://github.com/MariaDB/server.git
synced 2025-02-01 03:21:53 +01:00
Merge main 5.0 with 5.0-build,
automerge didn't handle this correctly, so test "view" was corrected manually.
This commit is contained in:
commit
2f87dd3eee