about summary refs log tree commit diff
path: root/.github
diff options
context:
space:
mode:
authorEelco Dolstra <edolstra@gmail.com>2017-12-15T23·48+0100
committerEelco Dolstra <edolstra@gmail.com>2017-12-15T23·49+0100
commit8efe937a350eca57cbc3cb9837f28d985e0d281f (patch)
tree6ac27bc6953b5ac941057cfe7e11e4fbc811d200 /.github
parent1dffbff57d427da098bb750b5a86e57d7d0a401b (diff)
Fix build on gcc 7
Fixes #1738.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions