Sept. 21, 2017
1:09 p.m.
Great, I will test it and let you know how it goes. Thanks! On Thu, Sep 21, 2017 at 6:43 AM, Marcus Denker <marcus.denker@inria.fr> wrote:
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