[PATCH] Rename grub_disk members

grub-devel

From:	Vladimir 'phcoder' Serbinenko
Subject:	[PATCH] Rename grub_disk members
Date:	Fri, 22 Mar 2019 17:30:56 +0100

-- 
Regards
Vladimir 'phcoder' Serbinenko

[Prev in Thread]

Current Thread

[Next in Thread]

[PATCH] Rename grub_disk members, Vladimir 'phcoder' Serbinenko <=
- Re: [PATCH] Rename grub_disk members, Colin Watson, 2019/03/22
  - Re: [PATCH] Rename grub_disk members, Daniel Kiper, 2019/03/25