Commit 52172d23 authored by Paul Eggert's avatar Paul Eggert

Fix gc-elapsed rounding bug

* src/alloc.c (garbage_collect): Don’t accumulate rounding
errors when computing gc-elapsed.
parent 1acc0cc9
Pipeline #3132 passed with stage
in 54 minutes and 11 seconds