HomePhabricator

Merge "Rename "disable senses" setting to "enable senses""

Authored by jenkins-bot on Feb 26 2018, 8:42 AM.

Description

Merge "Rename "disable senses" setting to "enable senses""

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rEWLE6443f5f9fc3b: Merge "Rename "disable senses" setting to "enable senses"" (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Feb 26 2018, 8:42 AM

Merged Changes

CommitAuthorDetailsCommitted
ffd08d7f1c65WMDE-leszek
Rename "disable senses" setting to "enable senses" 
Feb 23 2018