b2122
85910c5b · main : ctrl+C print timing in non-interactive mode (#3873) ·