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: [email protected] For additional commands, e-mail: [email protected]
