double semi colon - Drupal.CTools.AJAX.urlReplaceNojs(url);;

Noticed a double-semicolon when diffing 6.x-1.12:

--- ctools-old/js/ajax-responder.js 2015-01-09 10:50:43.000000000 -0800
+++ ctools/js/ajax-responder.js 2015-03-18 09:13:27.000000000 -0700
@@ -149,7 +149,7 @@
var object = $(this);
try {
if (url) {
- url = Drupal.CTools.AJAX.urlReplaceNojs(url);
+ url = Drupal.CTools.AJAX.urlReplaceNojs(url);;