Add missing options to time command (#1067)


1 file changed