julia

d6040570 - Make threadpoolsize(), threadpooltids(), and ngcthreads() public (#55701)