Closed luilver closed 4 years ago
Before submitting a pull request, please make sure the following is done:
master
fixes #XX
@karbassi I cannot merge this pull request, not even outside GitHub; it won't let me push because the travis-ci step hasn't run yet. This step is deprecated, right? I think it now should be removed (or repaired).
Before submitting a pull request, please make sure the following is done:
master
.fixes #XX
reference to the issue that this pull request fixes.