Update third-party minor and patch - #1273

Update third-party minor and patch#1273

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