Lazy-initialize the global reference pool to reduce its overhead when unused#4178
Merged
davidhewitt merged 2 commits intomainfrom Jun 6, 2024
Merged
Lazy-initialize the global reference pool to reduce its overhead when unused#4178davidhewitt merged 2 commits intomainfrom
davidhewitt merged 2 commits intomainfrom
