From 3fe35b571f546941f4b7f146a9ca46aa7a7da66c Mon Sep 17 00:00:00 2001 From: Tercio Gaudencio Filho Date: Fri, 28 Aug 2020 15:05:57 -0300 Subject: [PATCH] Change August to Aug. Fix issue #719. --- src/output/time.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/output/time.rs b/src/output/time.rs index 49b6930..0dd5591 100644 --- a/src/output/time.rs +++ b/src/output/time.rs @@ -137,7 +137,7 @@ impl DefaultFormat { datetime::Month::May => "May", datetime::Month::June => "Jun", datetime::Month::July => "Jul", - datetime::Month::August => "August", + datetime::Month::August => "Aug", datetime::Month::September => "Sep", datetime::Month::October => "Oct", datetime::Month::November => "Nov",