[PATCH v2] explorer: unload graphics driver and delete registry keys

[Daniel Wendt]

Is this patch okay so far? Are there any other comments on what I can do better?

On Wed, Dec 5, 2018 at 11:47 AM Daniel Wendt <daniel.wendt at linux.com> wrote:
>
>