Non-ASCII symbols made their way into JS comments

src/date-delay.js

Index: src/date-delay.js
diff --git a/src/date-delay.js b/src/date-delay.js
index 3143132abb584ef3029f4b249ed9275d73a08e91..6c27d6901d8cb5c3ba8d0c43b7b4a979bb01f020 100644
--- a/src/date-delay.js
+++ b/src/date-delay.js
@@ -265,7 +265,7 @@ var ymd_from_time_cached_time = $NaN;
 
 function YearFromTime(t) {
   if (t !== ymd_from_time_cached_time) {
-    // Limits according to ECMA 262 15.9.1.1
+    // Limits according to ECMA 262 15.9.1.1
     if (!$isFinite(t) || t < -8640000000000000 || t > 8640000000000000) {
       return $NaN;
     }
@@ -279,7 +279,7 @@ function YearFromTime(t) {
 
 function MonthFromTime(t) {
   if (t !== ymd_from_time_cached_time) {
-    // Limits according to ECMA 262 15.9.1.1
+    // Limits according to ECMA 262 15.9.1.1
     if (!$isFinite(t) || t < -8640000000000000 || t > 8640000000000000) {
       return $NaN;
     }
@@ -292,7 +292,7 @@ function MonthFromTime(t) {
 
 function DateFromTime(t) {
   if (t !== ymd_from_time_cached_time) {
-    // Limits according to ECMA 262 15.9.1.1
+    // Limits according to ECMA 262 15.9.1.1
     if (!$isFinite(t) || t < -8640000000000000 || t > 8640000000000000) {
       return $NaN;
     }