Commits on Mar 15, 2023

  1. Add API for asking whether the pool is empty 

    On certain systems a refresh is necessary in such cases and, in any
case, it's useful to know whether queries are pointless.
    @aleixpol
    aleixpol committed Mar 15, 2023
    c8de370