[tor-commits] [community/staging] Merge branch 'staging' into 'master'

commit 8af80d98a86ea93e75abcaa6ffc595b9e15bb08f Merge: 20e218f 48d10f2 Author: Pili Guerra <pili@torproject.org> Date: Mon Jun 3 09:42:33 2019 +0000 Merge branch 'staging' into 'master' Staging See merge request pili/community!5 content/localization/translation-problem/contents.lr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)