Hi,
Florian and Christian are on vacation, so the answer will have some delay...
had a look in my inbox by coincidence - no, all servers up and running, all is well from our side.
Happy new year, Florian -- To unsubscribe e-mail to: [email protected] Problems? http://www.libreoffice.org/get-help/mailing-lists/how-to-unsubscribe/ Posting guidelines + more: http://wiki.documentfoundation.org/Netiquette List archive: http://listarchives.libreoffice.org/global/website/ All messages sent to this list will be publicly archived and cannot be deleted
