Merge "Drop last bits of oracle"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 15 Aug 2019 07:56:48 +0000 (07:56 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 15 Aug 2019 07:56:48 +0000 (07:56 +0000)
commitd639af832d0c4fa518a18b90ae4d8eee8eb7ad4b
treee4402d2fc3ae8b4751a58ed2d40e6065f6d4cb70
parentdd62bdfd87ef59e923f25394e3c2b961dcf0092d
parent4b80ca45f77898d478d5ecf70ae3a882108900c0
Merge "Drop last bits of oracle"