Update mcr.microsoft.com/devcontainers/python Docker tag to v2#95

joshuanianji merged 1 commit intomainjoshuanianji/idris-2-docker:mainfrom

renovate/mcr.microsoft.com-devcontainers-python-2.xjoshuanianji/idris-2-docker:renovate/mcr.microsoft.com-devcontainers-python-2.xCopy head branch name to clipboard