Merge "Replace @remarks by @note"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 7 Aug 2018 18:00:58 +0000 (18:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 7 Aug 2018 18:00:58 +0000 (18:00 +0000)
commit82d3bbdde7e6653da34eba8541aa56dce4c3ca7a
treedb1d9f1ecd9df3120f4aeaa7599ea7452f4f9d41
parent85928e591ea030a18000984a414489c607c42a11
parentd5c659cb95273cb175a3678ab4600e62315672ff
Merge "Replace @remarks by @note"