mirror of
https://github.com/MariaDB/server.git
synced 2025-11-16 20:23:18 +03:00
duration of the whole 'flush instances'. As a consequence, it was possible to query instance map, while it is in the inconsistent state. The patch was reworked after review.
2.4 KiB
2.4 KiB