From 181ce5dbed577572f319c3767706700f60dfa2c3 Mon Sep 17 00:00:00 2001
From: vv01f <vv01f@riseup.net>
Date: Sat, 27 May 2017 10:09:27 +0000
Subject: [PATCH] Update HOWTO-Translate.md for which branch to merge to

---
 docs/HOWTO-Translate.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/HOWTO-Translate.md b/docs/HOWTO-Translate.md
index faea935..43c0760 100644
--- a/docs/HOWTO-Translate.md
+++ b/docs/HOWTO-Translate.md
@@ -16,4 +16,4 @@ Also, add Google Play translation for:
   * Short Description
   * Full description
 
-Then add those files to the repository using "New Issue" or create pull request.
+Then add those files to the repository using "New Issue" or "Merge Request" (GitLab's name for "Pull Request" if you come from GitHub) against the `dev` branch.