Landing a fix for a case where the animation timer wasn't getting stopped (thanks...

[jquery.git] / version.txt

diff --git a/version.txt b/version.txt
index 45a1b3f..3a3cd8c 100644 (file)
--- a/version.txt
+++ b/version.txt
@@ -1 +1 @@
-1.1.2
+1.3.1