Hey Holger! On Fri, Jul 24, 2020 at 12:08:52PM +0200, Holger Wansing wrote: >Hi, > >I'm planning some small changings for BIOS -> UEFI changings in the >installation-guide. >No big deal, in many cases just changes "BIOS" into "BIOS/UEFI", >but I wanted to provide a patch here nevertheless for review/comments.
Looks fine for me. :-) -- Steve McIntyre, Cambridge, UK. st...@einval.com The two hard things in computing: * naming things * cache invalidation * off-by-one errors -- Stig Sandbeck Mathisen