I just put together a patch for this. I don't know how it fits with the overall code base, but at least it is consistent within randompool.py
I just put together a patch for this. I don't know how it fits with the overall code base, but at least it is consistent within randompool.py