Closed breyten closed 9 years ago
@breyten Is this still valid? If so, could you change the pull request so that it will be merged into dev? I don't seem to be able to, and I'm not sure whether it is impossible in general, or if you can do it as the author :-)
dev
Can only do by closing, as far as I understand.
@breyten Is this still valid? If so, could you change the pull request so that it will be merged into
dev
? I don't seem to be able to, and I'm not sure whether it is impossible in general, or if you can do it as the author :-)