berciXcore„Korábban, ha órát és percet szerettük volna jelölni, kizárólag a 9.15 típusú megoldás minősült helyesnek: ezentúl azonban a 9:15 is elfogadható lesz.”
Igen a kettőspont is elfogadott lesz (de talán még nem az), ez egyben azt is jelenti, hogy a 9.15 forma továbbra is szabályos, semmiképp sem lehet azt mondani, hogy a Gnome rosszul jeleníti meg az időt, ha továbbra is ezt használja.
(Amikor meg a korábbi bejegyzés született ennek a változtatásnak egyébként még híre-hamva sem volt. Talán nem is kellett volna rá reagálnom, de figyelmetlen voltam, nem néztem a hozzászólás dátumát, csak rákattintottam a témára, mert láttam, hogy új válasz született.)