Hi, Am 3. August 2023 22:49:29 MESZ schrieb John Paul Adrian Glaubitz <glaub...@physik.fu-berlin.de>: >Hello! > >On Thu, 2023-08-03 at 22:03 +0200, Holger Wansing wrote: >> >> -On Windows 7 systems, you have to select the property <quote>Hardware >> IDs</quote> in the >> +On Windows 7/10 systems, you have to select the property <quote>Hardware >> IDs</quote> in the >> device manager's details tab to actually see the IDs, as they are not >> displayed by default. > >I would suggest just using the term "Windows" here so you don't have to keep >updating it every time a new major release of Windows has been released.
I changed that into "On newer Windows systems, ..." Thanks Holger
