Update third-party minor and patch - #1280

Update third-party minor and patch#1280

microbit-renovate[bot] wants to merge 1 commit into

mainmicrobit-foundation/python-editor-v3:mainfrom

renovate/third-party-minor-and-patchmicrobit-foundation/python-editor-v3:renovate/third-party-minor-and-patchCopy head branch name to clipboard