Merge "Notifications: Note that the ID is unnecessary and deprecated"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 28 Aug 2018 21:44:31 +0000 (21:44 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 28 Aug 2018 21:44:31 +0000 (21:44 +0000)
commit8ea2a1e9d16e5bdba1d67d1eaa6659006033d4bf
treece6eb0cbed430a5469f8bd4037cffafef7a5573b
parent4236dfd405f104f762f439875d5b6809147073d7
parent1d6c58b72ec1e3209da6ddaba77ae03b650317dd
Merge "Notifications: Note that the ID is unnecessary and deprecated"