diff options
| author | Stefan Hajnoczi <stefanha@redhat.com> | 2019-01-29 11:46:04 +0000 |
|---|---|---|
| committer | Peter Maydell <peter.maydell@linaro.org> | 2019-01-29 11:46:04 +0000 |
| commit | c8de3f5fd696db0e0a16062de4b9c75252401e4e (patch) | |
| tree | 08ac7a7a900d2faec3938404d000fa65d89c36bd /exec.c | |
| parent | f454a54f3bf95920d236ad893344141085db061a (diff) | |
MAINTAINERS: update microbit ARM board files
New source files were added without corresponding ./MAINTAINERS file
entries. Let's get things up to date.
Reviewed-by: Thomas Huth <thuth@redhat.com>
Signed-off-by: Stefan Hajnoczi <stefanha@redhat.com>
Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Message-id: 20190123183352.11025-1-stefanha@redhat.com
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Diffstat (limited to 'exec.c')
0 files changed, 0 insertions, 0 deletions