Merge pull request #3323 from nrdmn/uefi

some minor UEFI improvements
a1a3e46e0aAndrew Kelley committed on 9/27/2019, 2:41:26 PM· committed by GitHubparents23a82b54527110
6 files changedLine totals unavailable