diff options
| author | Peter Maydell <peter.maydell@linaro.org> | 2020-10-30 11:56:07 +0000 |
|---|---|---|
| committer | Peter Maydell <peter.maydell@linaro.org> | 2020-10-30 11:56:07 +0000 |
| commit | d03e884e4ece4b528ed87d4133867fcf87aa76e5 (patch) | |
| tree | 7fb71104813bdf13a1505bc56c0950e0c484a279 /docs/tools | |
| parent | a19d4bc452532a9402f90b77d2aaaed9fe1df046 (diff) | |
| parent | 1a9925e3390b6adf1125e3abaa17c80ca012bede (diff) | |
Merge remote-tracking branch 'remotes/jsnow-gitlab/tags/ide-pull-request' into staging
IDE Pull request
# gpg: Signature made Tue 27 Oct 2020 14:41:59 GMT
# gpg: using RSA key F9B7ABDBBCACDF95BE76CBD07DEF8106AAFC390E
# gpg: Good signature from "John Snow (John Huston) <jsnow@redhat.com>" [full]
# Primary key fingerprint: FAEB 9711 A12C F475 812F 18F2 88A9 064D 1835 61EB
# Subkey fingerprint: F9B7 ABDB BCAC DF95 BE76 CBD0 7DEF 8106 AAFC 390E
* remotes/jsnow-gitlab/tags/ide-pull-request:
ide: clear SRST after SRST finishes
ide: perform SRST as early as possible
ide: run diagnostic after SRST
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Diffstat (limited to 'docs/tools')
0 files changed, 0 insertions, 0 deletions