Merge "NamespaceInputWidget: Fix type documentation"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 4 Nov 2017 22:55:26 +0000 (22:55 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 4 Nov 2017 22:55:26 +0000 (22:55 +0000)
commit05c0006394775533881cde9b9cf293a611b83a1e
treeec75e3983e79880f6f2ecca0b52019d9c8a8b80e
parentda40499d50fdd09a8bb854331393b8243b0d115b
parent2eb312bcba0d735dfdc1679f4d771ac1554a96cc
Merge "NamespaceInputWidget: Fix type documentation"