[galaxy-commits] galaxy-dist commit 21ddc9f843be: Prevent workflow forms from being submitted twice when dynamic options are refreshed, resulting in AJAX error and inability to savewq