diff options
| author | Souptick Joarder <jrdr.linux@gmail.com> | 2019-01-07 23:07:19 +0530 |
|---|---|---|
| committer | Boris Ostrovsky <boris.ostrovsky@oracle.com> | 2019-01-28 17:42:20 -0500 |
| commit | 8d2df8a2d0fa59d1214841202d8e9176057c42ae (patch) | |
| tree | 796eb1cbb75560fb9667d27b78066f81712360a2 /MAINTAINERS | |
| parent | 867cefb4cb1012f42cada1c7d1f35ac8dd276071 (diff) | |
arch/arm/xen: Remove duplicate header
Remove duplicate header which is included twice.
Signed-off-by: Souptick Joarder <jrdr.linux@gmail.com>
Reviewed-by: Oleksandr Andrushchenko <oleksandr_andrushchenko@epam.com>
Acked-by: Stefano Stabellini <sstabellini@kernel.org>
Signed-off-by: Boris Ostrovsky <boris.ostrovsky@oracle.com>
Diffstat (limited to 'MAINTAINERS')
0 files changed, 0 insertions, 0 deletions