From f11f575b8d2db338218c8549f099dbdf3d52d7ff Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 29 Nov 2017 15:47:08 +0100
Subject: Fix usage comment.

---
 dev/tools/backport-pr.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/tools/backport-pr.sh b/dev/tools/backport-pr.sh
index bc6ee31916..4c4dbe1e97 100755
--- a/dev/tools/backport-pr.sh
+++ b/dev/tools/backport-pr.sh
@@ -1,6 +1,6 @@
 #!/usr/bin/env bash
 
-# Usage: git-backport <PR number>
+# Usage: dev/tools/backport-pr.sh <PR number>
 
 set -e
 
-- 
cgit v1.2.3