PR #8168 Fix a warning in pool.cc

Fix a warning in pool.cc #8168

snnn merged 1 commit into master from snnn/patch-4

Fix a warning in pool.cc

50ff1693

snnn marked this pull request as ready for review 4 years ago

snnn requested a review 4 years ago

nkreeger approved these changes on 2021-06-27

hariharans29 commented on 2021-06-28

snnn merged 9b75be3d into master 4 years ago

snnn deleted the snnn/patch-4 branch 4 years ago

Reviewers

nkreeger

hariharans29

Assignees

No one assigned

Labels

None yet

Milestone

No milestone