diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2021-06-02 13:30:54 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-02 13:30:54 +0200 |
| commit | f1b604f603ad80d775f5855dee085b9d5261bafe (patch) | |
| tree | d9435d00e32722c89af920419bad6db6439d74c6 /misc | |
| parent | 7c3cb8506fb3046cb97e1b98f3b1195d45c500f3 (diff) | |
| parent | 50dc88a56cc13030801bfefc7116828d4115ae70 (diff) | |
Merge pull request #4879 from keke-cute/fix-optional-namespace
Fix error: 'optional' in namespace 'std' does not name a template type
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions