mirror of
git://git.sv.gnu.org/coreutils.git
synced 2026-07-04 07:48:36 +02:00
df96ded8ae
differences in frequently-changing /proc/cpuinfo. Reported by Nelson Beebe.