diff options
| author | Arne Döring <arne.doering@gmx.net> | 2018-11-07 10:58:48 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-07 10:58:48 +0100 |
| commit | c2c05f5e724b8fe5380e6e45f3c1bcf48359915a (patch) | |
| tree | 42c74eb22958b8809103ba6c03504caa32d01847 /ci | |
| parent | fc740c54ec7af592ff3486c8cc296bb4f65eb340 (diff) | |
| download | Nim-c2c05f5e724b8fe5380e6e45f3c1bcf48359915a.tar.gz | |
fix #9639 (#9640)
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions