Merge "jquery.spinner: Remove obsolete IE8 support"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 17 May 2018 11:45:14 +0000 (11:45 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 17 May 2018 11:45:14 +0000 (11:45 +0000)
commitd9c1a80f5a94f64a53b24465839abf44c07d79c1
treeafab9e6d74823519dc83191e7d8bc127fc597c70
parentf40dba16ae28c74600202acd325185aeba2da537
parent6178b9374f04ab66a4048e52487fd58047d11316
Merge "jquery.spinner: Remove obsolete IE8 support"