mirror of
https://github.com/MariaDB/server.git
synced 2025-11-13 21:42:58 +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