v0.1.12 — converge thread_pool v0.2.5 (GAP-0838 diamond sync)