Merge branch 'master' into persistent-build-files

This commit is contained in:
Rudi Grinberg 2018-06-29 11:07:22 +06:30 committed by GitHub
commit 8185337876
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -267,7 +267,7 @@ let bootstrap () =
; contexts = [Default { targets = [Native]
; profile =
Option.value !profile
~default:"default"
~default:"dev"
}
]
}