From: Paul F. <pj...@wa...> - 2025-05-02 19:41:17
|
On 02-05-25 08:22, Florian Krohm wrote: > On 02.05.25 10:02, Nicholas Nethercote wrote: >> I like the existing numbering, and I don't see a strong reason to change >> what has worked for a long time. >> > > +1 OK, 3.26 it is/will be. A+ Paul |