[MediaWiki-commits] [Gerrit] Improve check to see if board is deleted - change (mediawiki...Flow)

2015-04-14 Thread EBernhardson (Code Review)
EBernhardson has uploaded a new change for review. https://gerrit.wikimedia.org/r/204184 Change subject: Improve check to see if board is deleted .. Improve check to see if board is deleted Current check also matched

[MediaWiki-commits] [Gerrit] Improve check to see if board is deleted - change (mediawiki...Flow)

2015-04-14 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Improve check to see if board is deleted .. Improve check to see if board is deleted Current check also matched non-existing board, causing issues when

[MediaWiki-commits] [Gerrit] Improve check to see if board is deleted - change (mediawiki...Flow)

2015-04-09 Thread Matthias Mullie (Code Review)
Matthias Mullie has uploaded a new change for review. https://gerrit.wikimedia.org/r/203104 Change subject: Improve check to see if board is deleted .. Improve check to see if board is deleted Current check also matched

[MediaWiki-commits] [Gerrit] Improve check to see if board is deleted - change (mediawiki...Flow)

2015-04-09 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Improve check to see if board is deleted .. Improve check to see if board is deleted Current check also matched non-existing board, causing issues when