mirror of
https://github.com/MariaDB/server.git
synced 2025-12-07 17:42:39 +03:00
WL#5136 Pool of threads Added an explicit delete_thread() API in the instrumentation, to be used by the pool of threads implementations.
WL#5136 Pool of threads Added an explicit delete_thread() API in the instrumentation, to be used by the pool of threads implementations.