Merge from 7.1 to 7.2

Change-Id: I3db340a7c971be6abf18514f044114802edfc4de

diff --git a/scripts/automerge7.sh b/scripts/automerge7.sh
index 079dec7eea1e75cb08c76088758c47d6df7ea69d..3349d8d6221bf4ecddd3fa1d6d1b79a457cbed73 100755 (executable)
--- a/scripts/automerge7.sh
+++ b/scripts/automerge7.sh
@@ -2,7 +2,7 @@
 
 IGNORE=7.0
 FROM=7.1
-TO=master
+TO=7.2
 
 IGNORE_HEAD=origin/$IGNORE
 FROM_HEAD=origin/$FROM