Closed basnijholt closed 5 years ago
opened by Bas Nijholt ([gitlab:@basnijholt](https://gitlab.kwant-project.org/basnijholt))) at 2018-12-07T19:57:55.908Z
I closed a bunch of issues that I think could be closed, however, there are some more that I don't know what to do with:
(original issue on GitLab)
opened by Bas Nijholt ([gitlab:@basnijholt](https://gitlab.kwant-project.org/basnijholt))) at 2018-12-07T19:57:55.908Z
I closed a bunch of issues that I think could be closed, however, there are some more that I don't know what to do with: