mirror of
https://github.com/MariaDB/server.git
synced 2025-11-19 19:03:26 +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.
6.6 KiB
6.6 KiB