MAINTAINERS: Add an entry for the Dino machine
commite188396c59851595c78012c531f1dc0b3c58cbae
authorPhilippe Mathieu-Daudé <philmd@redhat.com>
Tue, 18 Dec 2018 11:56:10 +0000 (18 12:56 +0100)
committerThomas Huth <thuth@redhat.com>
Thu, 28 Feb 2019 11:15:53 +0000 (28 12:15 +0100)
tree46106041bc8482bba38cbdb462447434fa239fa9
parent4d21171b61f1d4ac7c37a4d3d77cd17aa99611cc
MAINTAINERS: Add an entry for the Dino machine

Add Richard as maintainer, and Helge as reviewer.

Cc: Richard Henderson <rth@twiddle.net>
Cc: Helge Deller <deller@gmx.de>
Signed-off-by: Philippe Mathieu-Daudé <philmd@redhat.com>
[thuth: Add the machine entry alphabetically]
Signed-off-by: Thomas Huth <thuth@redhat.com>
MAINTAINERS