No matches were found for subject:"\[Bug 1174261\] Re\: Ubuntu Time Date applet should set GNOME 12\/24\-hour clock format"