Merge "SearchInputWidget: Replace pushPending hack"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 2 May 2019 19:08:50 +0000 (19:08 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 2 May 2019 19:08:50 +0000 (19:08 +0000)
commit8d7889f42c8dda15054a14515048347388ac18a4
tree4ae9763171c42dcb323f2e8fc66d204ce99745d0
parent77ca1430e4cab74dc7cf2db8553e9868836d0732
parente8a2f22aae4800da0714c3e8a738074f62905eae
Merge "SearchInputWidget: Replace pushPending hack"