mirror of
https://github.com/linuxboot/heads.git
synced 2025-03-31 16:10:45 +00:00
Redoing diffs already proposed under https://github.com/linuxboot/heads/pull/1871 but not taken yet.... Signed-off-by: Thierry Laurion <insurgo@riseup.net>