Closed bencalder closed 6 years ago
Also issues #18 - #32 have been completed in past commits. Are we still tracking these?
I see no explicit reference to #32 in any PRs or commits, but I'll trust you that it's actually fixed. Closing, thanks for the heads up!
Thanks @Fang- . Just to be clear, I also meant that issues #19, #20, #21, #22, #23, #24, #25, #26, #27, #28, #29, #30, and #31 have all been completed as well. I mistakenly didn't reference them in the previous PR's. I can add comments to the relevant commits to match them up if that would help for future reference. Let me know, thanks again!
Doh, of course. I'll go ahead and close them. If you want to add a comment to back-reference the relevant commits, that'd be nice to have, yes!
For issue #40