]> xenbits.xensource.com Git - xenrt-citrix/xenrt.git/commitdiff
Merge branch 'master' into old_osrefactorminimal
authorJohn Dilley <john.dilley@citrix.com>
Mon, 2 Nov 2015 15:53:07 +0000 (15:53 +0000)
committerJohn Dilley <john.dilley@citrix.com>
Mon, 2 Nov 2015 15:53:07 +0000 (15:53 +0000)

Trivial merge