> 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