From: Peter Dimov (pdimov_at_[hidden])
Date: 2021-06-04 01:27:31
> Opinions?
So far I have
friendlyanon: 3.14
Glen Fernandes: 3.14
Niall Douglas: 3.8 or 3.9
Alexander Grund: 3.13 or 3.14?
Mike: 3.13 or 3.15
Deniz Bahadir: 3.13
Andrey Semashev: 3.7? 3.10?
Have I got everyone's "vote" right?