Commit 3e125517 authored by Paul Eggert's avatar Paul Eggert
Browse files

pdumper-stats now returns s, not ms

* doc/lispref/internals.texi (pdumper-stats):
* src/pdumper.c (pdumper_load): Return seconds, not milliseconds.
Minimize rounding errors in the usual case.
parent b821a70c
Pipeline #576 passed with stage
in 49 minutes and 1 second