]> xenbits.xensource.com Git - xenrt-citrix/xenrt.git/commitdiff
Merge branch 'CA183171' into 'master'
authorDaniel Lamping <daniel.lamping@citrix.com>
Thu, 8 Oct 2015 15:38:30 +0000 (08:38 -0700)
committerDaniel Lamping <daniel.lamping@citrix.com>
Thu, 8 Oct 2015 15:38:30 +0000 (08:38 -0700)
CA-183171 fix

Added changes as per review comments on https://gitlab.citrite.net/xenrt/xenrt/merge_requests/1215.

See merge request !12


Trivial merge