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
