On Tue, May 24, 2022 at 10:13:51PM +0200, Geert Stappers wrote: > From: Geert Stappers <stapp...@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 <gb...@users.sf.net> > +# Updated 2022-05-24 Geert Stappers <stapp...@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 _______________________________________________ ipxe-devel mailing list ipxe-devel@lists.ipxe.org https://lists.ipxe.org/mailman/listinfo/ipxe-devel
