[PATCH] install: Free allocated path for grub.efi.

grub-devel

From:	Miguel Arruga Vivas
Subject:	[PATCH] install: Free allocated path for grub.efi.
Date:	Mon, 28 Oct 2019 12:27:43 +0100

Hi,

This patch is a minor issue, but in terms of correctness I think this
free is missing.

Happy hacking,
Miguel

Current Thread

[Next in Thread]

Reproducible grub-install, Miguel Arruga Vivas, 2019/10/21
- Re: Reproducible grub-install, Daniel Kiper, 2019/10/23
  - Granularity of grub-install (was Re: Reproducibility of grub-install), Miguel Arruga Vivas, 2019/10/28
    - [PATCH] install: Free allocated path for grub.efi., Miguel Arruga Vivas <=
    - [PATCH 2/2] install: Add only-platform-installation option., Miguel Arruga Vivas, 2019/10/28