On 05.12.18 08:08, Andrea Pescetti wrote: > > If yes, we'll have to look into another environment. If no, we can > reuse one of these two VMs as the new updates server. We could try the OpenGrok Server.
--------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@openoffice.apache.org For additional commands, e-mail: dev-h...@openoffice.apache.org
