[PATCH 2/2] Make the date format locale-dependent in our GUI (#1044233)