This is indeed a bug, thank you for reporting. To fix it, please download the file here, unpack it and upload into the theme folder, replacing the existing “comments.php” file.
Please download the modified template files here and re-upload them into your theme folder, replacing the existing files. This will allow setting the date format in “Settings – General”.