diff options
author | Joel Challis <git@zvecr.com> | 2022-09-10 01:14:12 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-09-10 01:14:12 +0100 |
commit | 4087251da6ffcbfd16a9b655b7816803a565f0a6 (patch) | |
tree | e32f60602e45a01af7b2edcac1cfdbf443bc16cc /builddefs | |
parent | f20883fef1bc9980d86682a05f763f12679b8c45 (diff) |
Reboot wb32 devices after flashing (#18323)
Diffstat (limited to 'builddefs')
0 files changed, 0 insertions, 0 deletions