Design proposal: split user-invoked from CI-invoked Python scripts#272

gilles-peskine-arm wants to merge 1 commit intoMbed-TLS:mainMbed-TLS/mbedtls-framework:mainfrom

gilles-peskine-arm:python-scripts-vintage-split-proposalgilles-peskine-arm/mbedtls-framework:python-scripts-vintage-split-proposalCopy head branch name to clipboard