Landing a fix for a case where the animation timer wasn't getting stopped (thanks...
[jquery.git] / version.txt
index 45a1b3f..3a3cd8c 100644 (file)
@@ -1 +1 @@
-1.1.2
+1.3.1