HomePhabricator

Merge "Minor cleanup of ve.ui.MediaSizeWidget"

Authored by jenkins-bot on Oct 8 2018, 11:06 PM.

Description

Merge "Minor cleanup of ve.ui.MediaSizeWidget"

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rGVEDf9afaa3e40e1: Merge "Minor cleanup of ve.ui.MediaSizeWidget" (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Oct 8 2018, 11:06 PM

Merged Changes

CommitAuthorDetailsCommitted
70b3ec2108dbTchanders
Minor cleanup of ve.ui.MediaSizeWidget 
Oct 7 2018