[miniconda] Devcontainer maintenance: Remove outdated patches#890
Merged
eljog merged 2 commits intodevcontainers:mainfrom Dec 13, 2023
alexander-smolyakov:miniconda-remove_outdated_patches
Merged
[miniconda] Devcontainer maintenance: Remove outdated patches#890eljog merged 2 commits intodevcontainers:mainfrom alexander-smolyakov:miniconda-remove_outdated_patches
eljog merged 2 commits intodevcontainers:mainfrom
alexander-smolyakov:miniconda-remove_outdated_patches
