util: add PollSemaphore::{add_permits, available_permits}
#3683
Merged
hawkw merged 2 commits intomasterfrom eliza/poll-semaphore-permit-opsApr 7, 2021
PollSemaphore::{add_permits, available_permits}
#3683