Update third-party minor and patch - #1402

Update third-party minor and patch#1402

microbit-matt-hillsdon merged 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