On Fri, Jan 10, 2020 at 12:38:10PM +0100, Richard Biener wrote: > Just to chime in I also just want to get it done (well, I can handle > SVN as well :P).
I will never have to learn it! I'm so happy! > I trust Joseph, too, but then from my POV anything not worse than the current > mirror works for me. Thanks to Maxim anyway for all the work - without that > we'd not switch in 10 other years... Absolutely agreed! Thank you, Maxim. Segher