commit | 74b748dafebc35686e5b7869c5c1a73328cab596 | [log] [tgz] |
---|---|---|
author | Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> | Tue Oct 11 12:57:19 2022 +0200 |
committer | GitHub <noreply@github.com> | Tue Oct 11 12:57:19 2022 +0200 |
tree | 69d335d1747348395061753d7947c812f4574381 | |
parent | 1b5c85c75b208e52c316ea0946bc61c74d8aaebd [diff] | |
parent | cf42536d4e1c69c92b6fafa62744372fda611593 [diff] |
Merge pull request #6401 from gilles-peskine-arm/config.py-python-version-development Add a note that config.py must remain compatible with Python 3.4