Firedrake Fix stringify-hash to omit 0-die buckets.
a150511 Apr 24, 2021
Fix stringify-hash to omit 0-die buckets.
Clean up trailing brackets in pool
a150511