HomePhabricator

Merge "Don't change editor preference if preferred editor is unsupported"

Authored by jenkins-bot.

Description

Merge "Don't change editor preference if preferred editor is unsupported"

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rEFLWafccb96eb4b5: Merge "Don't change editor preference if preferred editor is unsupported" (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Sep 1 2015, 12:57 PM

Merged Changes

CommitAuthorDetailsCommitted
c67fc018f33aCatrope
Don't change editor preference if preferred editor is unsupported 
Sep 1 2015