diff options
author | Remita Amine <remitamine@gmail.com> | 2020-01-19 21:20:56 +0100 |
---|---|---|
committer | Remita Amine <remitamine@gmail.com> | 2020-01-19 21:20:56 +0100 |
commit | 22cb94902f5bbe32d636009c2599eae7aa66282c (patch) | |
tree | 5a3eec05f4e5e19cf6282772d6770f71ebdd3c1e /.github | |
parent | be96f9924f4b93ab4632b602a7e7b97518a1ddab (diff) |
[stretchinternet] fix extraction(closes #4319)
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions