Index: wp-admin/includes/class-wp-comments-list-table.php
===================================================================
--- wp-admin/includes/class-wp-comments-list-table.php	(revision 24432)
+++ wp-admin/includes/class-wp-comments-list-table.php	(working copy)
@@ -355,7 +355,7 @@
 		/* translators: 2: comment date, 3: comment time */
 		printf( __( 'Submitted on <a href="%1$s">%2$s at %3$s</a>' ), $comment_url,
 			/* translators: comment date format. See http://php.net/date */ get_comment_date( __( 'Y/m/d' ) ),
-			/* translators: comment time format. See http://php.net/date */ get_comment_date( get_option( 'time_format' ) ) );
+			get_comment_date( get_option( 'time_format' ) ) );
 
 		if ( $comment->comment_parent ) {
 			$parent = get_comment( $comment->comment_parent );