summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJosé Bollo <jose.bollo@iot.bzh>2020-02-25 14:25:27 +0100
committerJosé Bollo <jose.bollo@iot.bzh>2020-02-25 14:25:27 +0100
commit251346392f85574ef8316a5dd8534cb71f8c6372 (patch)
tree35cd5ffdc01722fb64c5531715c13c7a33604cd2
parentdf112753707a1f291127df7fd23d5bacab40a08a (diff)
Switch back to master branch (was next after merge)
Change-Id: Idbab48d3bfd04f9f86ae7af8c83c152a995caf60 Signed-off-by: José Bollo <jose.bollo@iot.bzh>
-rw-r--r--default.xml2
1 files changed, 1 insertions, 1 deletions
diff --git a/default.xml b/default.xml
index 989264f3..632a552d 100644
--- a/default.xml
+++ b/default.xml
@@ -11,7 +11,7 @@
<remote name="github" fetch="https://github.com/" />
<!-- defaults -->
- <default remote="agl" sync-j="4" revision="next"/>
+ <default remote="agl" sync-j="4" revision="master"/>
<!-- CORE -->