mirror of
https://github.com/linuxboot/heads.git
synced 2025-02-07 11:30:11 +00:00
6ee05c3dce
Redoing diffs already proposed under https://github.com/linuxboot/heads/pull/1871 but not taken yet.... Signed-off-by: Thierry Laurion <insurgo@riseup.net>