Hi Raphael,
laut distribution.ooo ist stardiv.de der Hauptserver, gwdg.de synct alle
4 Stunden von dem, und die anderen Server ziehen es sich von dort bzw.
untereinander. Da unser PrOOo-Box-Master direkt neben gwdg.de steht,
habe ich mal den dortigen Admin angemailt, ob er mal nachsehen kann was
los ist. :-)
Viele Grüße
Flo
--
## Florian Effenberger
## Marketing/Öffentlichkeitsarbeit/Presse
## OpenOffice.org - http://de.openoffice.org
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
