mirror of https://github.com/MariaDB/server
Browse Source
WL#5136 Pool of threads Added an explicit delete_thread() API in the instrumentation, to be used by the pool of threads implementations.pull/374/head
3 changed files with 16 additions and 1 deletions
Loading…
Reference in new issue