Merge pull request #4258 from minrk/backport-1.2

to-backport label is now 1.2

tools/backport_pr.py

@@ -134,7 +134,7 @@ def should_backport(labels):
     if len(sys.argv) < 3:
         branch = sys.argv[1]
         already = already_backported(branch)
-        should = should_backport("backport-1.1")
+        should = should_backport("backport-1.2")
         print ("The following PRs should be backported:")
         for pr in should.difference(already):
             print (pr)