diff options
| author | Wladimir J. van der Laan <laanwj@protonmail.com> | 2020-01-02 20:54:15 +0100 |
|---|---|---|
| committer | fanquake <fanquake@gmail.com> | 2020-01-05 07:30:49 +0800 |
| commit | 112144dc524b6f4df5c88ab067e899d858f6461d (patch) | |
| tree | c081d0cfa320da22fff889dec58ed7dbc08883b6 /doc/release-notes/release-notes-0.8.4.md | |
| parent | 1a6a534665be410988785b0f2e09ef001a612d5c (diff) | |
Add missing typeinfo includes
The use of `typeid()` for logging exception types requires this include
according to https://en.cppreference.com/w/cpp/language/typeid.
Github-Pull: #17762
Rebased-From: 4bdd68f301a9cee3360deafc7531c638e923226b
Diffstat (limited to 'doc/release-notes/release-notes-0.8.4.md')
0 files changed, 0 insertions, 0 deletions