Closed darigovresearch closed 2 years ago
Don't yet have access rights to merge pull requests. Our policy generally speaking when helping to maintain other open source projects is that if it is an uncontroversial improvement, correct & no-one objects with in a suitable amount of time (like a week) to merge it and if anyone wants to correct it or iterate on it they can
@davehakkens is there anything else that is required from our side for this pull request to be merged?
Would resolve #20 if merged