Hi, As usual, I forgot to mention that we decided to change the meeting time again, to compensate for "daylight saving time" idiocy: from now on, we are meeting each Wednesday at 10:00 UTC.
As always, everyone is invited -- especially if there is something specific you would like to discuss :-) -antrik-
