summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorMatteo Casalin <matteo.casalin@yahoo.com>2018-11-09 19:04:10 +0100
committerMatteo Casalin <matteo.casalin@yahoo.com>2018-11-10 22:04:06 +0100
commit030c27a0f35ad1515d22c386b2a343c4de1760df (patch)
tree70d73a0704e72b488ce3eef0ab9f2117b170bcc3 /tools
parent27f5860966f215da4d98c9af02e7f59d07809786 (diff)
Avoid temporary (that introduces downcast)
Change-Id: I810172d045860f49819b9e25de8a2d5fe5f80dd8
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions