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

19 Dec 2018


      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(a)linux.com> wrote:
...