diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-12-15T23·48+0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-12-15T23·49+0100 |
| commit | 8efe937a350eca57cbc3cb9837f28d985e0d281f (patch) | |
| tree | 6ac27bc6953b5ac941057cfe7e11e4fbc811d200 /.github | |
| parent | 1dffbff57d427da098bb750b5a86e57d7d0a401b (diff) | |
Fix build on gcc 7
Fixes #1738.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions