mirror of
git://git.sv.gnu.org/coreutils
synced 2026-05-20 07:22:09 -04:00
df96ded8ae
differences in frequently-changing /proc/cpuinfo. Reported by Nelson Beebe.