projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c4ba064) | patch
Config.mk: update mini-os changeset
authorWei Liu <wei.liu2@citrix.com>
Wed, 9 Aug 2017 13:04:33 +0000 (14:04 +0100)
committerWei Liu <wei.liu2@citrix.com>
Wed, 9 Aug 2017 13:04:33 +0000 (14:04 +0100)
commitf5c3e78b5c61e7dfb05749c7a0c862ec18c86384
tree8b9c83e2680db541392e52f6c8047c480ce79711tree | snapshot
parentc4ba064d53ef89cc06466349c1e987d8e91020b3commit | diff
Config.mk: update mini-os changeset

Pull in the change to fix stubdom build with gcc 7.

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Config.mk diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.