[ipxe-devel] [PATCH 5/5] get-pci-ids known working again

[Geert Stappers]

On Tue, May 24, 2022 at 10:13:51PM +0200, Geert Stappers wrote:
> From: Geert Stappers <stappers at stappers.nl>
> 
> The utility got a time stamp of recent succes.
> ---
>  src/util/get-pci-ids | 1 +
>  1 file changed, 1 insertion(+)
> 
> diff --git a/src/util/get-pci-ids b/src/util/get-pci-ids
> index 92f5c492..b53d048f 100755
> --- a/src/util/get-pci-ids
> +++ b/src/util/get-pci-ids
> @@ -3,6 +3,7 @@
>  # get-pci-ids: extract pci vendor/device ids from linux net drivers
>  
>  # Copyright (C) 2003 Georg Baum <gbaum at users.sf.net>
> +# Updated 2022-05-24 Geert Stappers <stappers at stappers.nl>
>  
>  # This program is free software; you can redistribute it and/or modify
>  # it under the terms of the GNU General Public License as published by
> -- 

Please advice:

  Just retransmit or wait longer for feedback?


Groeten
Geert Stappers
-- 
Silence is hard to parse