diff options
author | Henning Baldersheim <balder@yahoo-inc.com> | 2021-01-04 14:32:13 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-04 14:32:13 +0100 |
commit | d0967adbf1d398220abfef406a6a8dde3a18c102 (patch) | |
tree | 05d872b680da19bb04282d48e321b4a9f3123399 /document | |
parent | 293a2d0b51bf704a190a396b388ca1ebc54f84e5 (diff) | |
parent | 88daa788cb2ea5155a0b8093e30e1ce3cefa11ed (diff) |
Merge pull request #15894 from vespa-engine/toregge/use-stricter-version-of-dynamic-cast
Use stricter version of dynamic_cast.
Diffstat (limited to 'document')
0 files changed, 0 insertions, 0 deletions