Sept. 13, 2017
5:52 p.m.
Thanks Esteban for fixing the issue. Thanks Marcus for the explanation, I understand the situation. On Wed, Sep 13, 2017 at 11:41 AM Marcus Denker <marcus.denker@inria.fr> wrote:
BTW, If you need help for system administration, I'm willing to help and
I can dedicate some time to it. Is there someone I can talk to about this ?
The problem is that for now we are running on Inria servers where logins are restricted⦠for sure we will at some point move somewhere else. If that happens, we will make a call for help for sys admin related tasks.
Marcus