[MediaWiki-commits] [Gerrit] Abort previous unfinished API request before sending new req... - change (mediawiki...CodeEditor)

2016-01-27 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Abort previous unfinished API request before sending new request .. Abort previous unfinished API request before sending new request This change requires

[MediaWiki-commits] [Gerrit] Abort previous unfinished API request before sending new req... - change (mediawiki...CodeEditor)

2015-12-02 Thread Gerrit Patch Uploader (Code Review)
Gerrit Patch Uploader has uploaded a new change for review. https://gerrit.wikimedia.org/r/256443 Change subject: Abort previous unfinished API request before sending new request .. Abort previous unfinished API request