Done
On Tuesday, August 1, 2023 at 2:19:15 PM UTC+2 lemeurher...@gmail.com wrote:
> Hello,
>
> It looks like the same case as
> https://github.com/jenkins-infra/helpdesk/issues/3680
>
> Could you please open an help desk issue at
> https://github.com/jenkins-infra/helpdesk/issues/ so we could
Hello,
It looks like the same case as
https://github.com/jenkins-infra/helpdesk/issues/3680
Could you please open an help desk issue at
https://github.com/jenkins-infra/helpdesk/issues/ so we could take care of
it please?
Regards,
Hervé for the Jenkins Infrastructure Team
Le mar. 1 août 2023
