From: John Maddock (jz.maddock_at_[hidden])
Date: 2025-01-22 18:20:02
Formally, today is the last day of the Decimal Library review, so far
there has been a lot of discussion, but only three full reviews with
outcomes. Are there any more reviews incoming?
Thanks, John.