On Sat, Aug 13, 2022 at 12:56:44PM -0400, Chuck Zmudzinski wrote: > Why has Juergen not at least responded in some way to the > comments that Boris has made here? Why has Boris not > pinged Juergen by now,
How about: it is summer here and people usually take their vacations during that time and everything takes a bit longer than usual? -- Regards/Gruss, Boris. https://people.kernel.org/tglx/notes-about-netiquette