Merge "Define pt as fallback for tet"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 19 May 2018 08:55:05 +0000 (08:55 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 19 May 2018 08:55:06 +0000 (08:55 +0000)
commit0eb1619898438735b04293b5aef9a36650258741
treed5f9d11f3292a22d4cc361bab61654593c75cd51
parent28d17d2b10816e7f017dabde707f86761db04a05
parentbd64dfc5bc064c73dda7247212f9d410cb29a04e
Merge "Define pt as fallback for tet"