From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Tue, 16 Jul 2019 22:43:22 +0000 (+0000)
Subject: Merge "Add mute preferences link to the tools menu"
X-Git-Tag: 1.34.0-rc.0~984
X-Git-Url: http://git.cyclocoop.org/%7B%24admin_url%7Dcompta/comptes/%27.%24imageUrl.%27?a=commitdiff_plain;h=57e4804bf2ba4481eb9b35680fb8ccc71a912c50;p=lhc%2Fweb%2Fwiklou.git

Merge "Add mute preferences link to the tools menu"
---

57e4804bf2ba4481eb9b35680fb8ccc71a912c50