Closed jbigot closed 2 months ago
In GitLab by @fxmordant on May 23, 2023, 16:06
mentioned in commit c66f39352b3b3bc975810d36475f12d0d9763982
In GitLab by @fxmordant on May 23, 2023, 16:15
mentioned in commit 698ecad09a93725a11dd2720f69dade4dc4e9859
In GitLab by @fxmordant on May 22, 2023, 24:46
The PDI environment variables are not checked when sourcing the env.bash file with ZSH