Config.mk: update mini-os changeset
authorWei Liu <wei.liu2@citrix.com>
Thu, 29 Jun 2017 11:15:38 +0000 (12:15 +0100)
committerWei Liu <wei.liu2@citrix.com>
Thu, 29 Jun 2017 11:15:38 +0000 (12:15 +0100)
commit989563f97b3b255152c85c12b180a128e7c9202e
tree1ee1e07dc3563d75e03cc85a671791e8ac598652
parent7cf8304aae3f7fba6026d80584006f3ab21f4205
Config.mk: update mini-os changeset

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Config.mk