[MediaWiki-commits] [Gerrit] apps...wikipedia[master]: Fix server logout case when logged in user edits

2016-11-17 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Fix server logout case when logged in user edits .. Fix server logout case when logged in user edits When a user is logged into the app and makes an

[MediaWiki-commits] [Gerrit] apps...wikipedia[master]: Fix server logout case when logged in user edits

2016-11-16 Thread Niedzielski (Code Review)
Niedzielski has uploaded a new change for review. https://gerrit.wikimedia.org/r/322018 Change subject: Fix server logout case when logged in user edits .. Fix server logout case when logged in user edits When a user is