GNOME Mines 3.12.2 ================== * Updated translations