Closed NLesniak closed 3 years ago
Hey @NLesniak, can you update the description to say "resolves #73" so that the issue will be closed once this is merged?
Sorry @NLesniak I wasn't clear about what I was looking for, then I realized I had the power to just edit it myself. I kept the title to the more descriptive one and edited the PR description (i.e. first comment) to contain the resolves keyword. Thank you!
resolves #73