diff options
| author | Giacomo Pozzoni <giacomopoz@gmail.com> | 2020-08-21 13:51:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-21 13:51:29 +0200 |
| commit | 41d70a5905c152d26217cc152a1748c337cfd81e (patch) | |
| tree | b8cc101a2b38ac8c9e5b3ef293f93aefaa355d7d /contrib/ScriptsConverter/ScriptConverter/Properties | |
| parent | d717b9dc3e0a25fc0c6f7d55e08740e295697c67 (diff) | |
Build/GCC: Raise required version to 8.3.0 (#25297)
Even when building with Clang, make sure to have libstdc++ >= 8
Diffstat (limited to 'contrib/ScriptsConverter/ScriptConverter/Properties')
0 files changed, 0 insertions, 0 deletions
