Sept. 21, 2017
9:43 a.m.
On 18 Sep 2017, at 08:37, Marcus Denker <marcus.denker@inria.fr> wrote:
On 16 Sep 2017, at 09:40, Stephane Ducasse <stepharo.self@gmail.com> wrote:
Hi marcus
I do not see why they could not find it. Can you tell me how you ask because we should reask?
I spend a ticket and they wanted to close it last week. I have told them to not close it
The problems seems to be fixed now. If someone sees any slowness -> send me a mail. Marcus