Closed fabrizio-turchi closed 3 months ago
@fabrizio-turchi - in the future, just pushing your patches to your branch on GitHub will update the already-open PR. Opening this PR seems to have obscured the branch update from #51 . I'll make do with the review as things are now, but please keep this in mind for the next round.
Oh, I see. #51 uses branch name issue-#10
, this uses branch name issue#10
.
Please push any updates to either branch, and I'll make sure merging one PR closes both.
@ajnelson-nist All comments have been completed except for Tool class.