diff options
author | Dominik Picheta <dominikpicheta@googlemail.com> | 2018-07-07 10:09:38 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-07 10:09:38 +0100 |
commit | 65942449912097a3bf781152d0c1db3a52855e69 (patch) | |
tree | 88041ed48474dd016bb23687968c7d019fcc6242 /tests | |
parent | 8667899d531225e060db3effe72627b9609017ce (diff) | |
parent | 919e7d665621fe0b8cb170e1322d7e51fbe68184 (diff) | |
download | Nim-65942449912097a3bf781152d0c1db3a52855e69.tar.gz |
Merge pull request #8229 from timotheecour/patch-6
workaround for issue #8227
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions