Skip to content

Use "gtime" for GNU time on macOS#869

Merged
kmyk merged 1 commit intomasterfrom mac-gtimeApr 9, 2021

Commits

Commits on Apr 9, 2021