summaryrefslogtreecommitdiff
path: root/tools/wmi
diff options
context:
space:
mode:
authorArnaldo Carvalho de Melo <acme@redhat.com>2018-07-31 09:55:45 -0300
committerArnaldo Carvalho de Melo <acme@redhat.com>2018-07-31 09:55:45 -0300
commitc2586cfbb905939b79b49a9121fb0a59a5668fd6 (patch)
tree42bf9a711c59549294b2f2125978f5a7095e16c2 /tools/wmi
parent25a00ac7dc92912f0b1e5e533bf077255c828b02 (diff)
parentce03b6d2b610b70bb527d14d82c2394adb235e5d (diff)
Merge remote-tracking branch 'tip/perf/urgent' into perf/core
To pick up fixes. Signed-off-by: Arnaldo Carvalho de Melo <acme@redhat.com>
Diffstat (limited to 'tools/wmi')
0 files changed, 0 insertions, 0 deletions