From 6ba41083692052ce735c366b467ff706e8418260 Mon Sep 17 00:00:00 2001 From: Asteroide Date: Mon, 12 Mar 2018 13:23:31 +0000 Subject: Update git submodules * Update docs/submodules/moon from branch 'master' - Merge "Fix a bug in policy generation." - Fix a bug in policy generation. Change-Id: Id30decb5e8519c091f8eaa95c04c2865fcbd7091 --- docs/submodules/moon | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs') diff --git a/docs/submodules/moon b/docs/submodules/moon index 1f25af17b..ed704f25e 160000 --- a/docs/submodules/moon +++ b/docs/submodules/moon @@ -1 +1 @@ -Subproject commit 1f25af17be6d3672e01a4a72b024afb72d57b75b +Subproject commit ed704f25eec7e77c893fa3598fece27471afa179 -- cgit 1.2.3-korg