Best times are not translated
As you can see on screenshots in gnome-mines#23 (closed), times are not translated, even though libgnome-games-support’s translation is complete. I confirmed this with libgnome-games-support-1.4.1-1.fc28.x86_64
and gnome-mines-3.28.0-1.fc28.x86_64
under multiple locales.
Edited by Piotr Drąg