diff options
author | Henning Baldersheim <balder@yahoo-inc.com> | 2019-05-06 15:04:52 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-05-06 15:04:52 +0200 |
commit | 354888e4bd140a57facd7149d1bbf62d23896fe3 (patch) | |
tree | 5a4fd9d75a457b141f44438145a4ecc804f840b9 /hosted-api | |
parent | c98ce8216c6a7076b0a7b94fe360b5bb6f679cf6 (diff) | |
parent | 71c1bdadc65dab0590aaf44e740f6e3cdc87195e (diff) |
Merge pull request #9280 from vespa-engine/balder/use-final-to-improve-inlining
Make final to improve inlining.
Diffstat (limited to 'hosted-api')
0 files changed, 0 insertions, 0 deletions