Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
1982: Don't fetch nOpt another time r=Anviking a=Anviking # Issue Number #1981 # Overview <!-- Detail in a few bullet points the work accomplished in this PR --> - [x] Re-use the existing `nOpt` instead of fetching it again # Comments <!-- Additional comments or screenshots to attach if any --> <!-- Don't forget to: ✓ Self-review your changes to make sure nothing unexpected slipped through ✓ Assign yourself to the PR ✓ Assign one or several reviewer(s) ✓ Once created, link this PR to its corresponding ticket ✓ Assign the PR to a corresponding milestone ✓ Acknowledge any changes required to the Wiki --> Co-authored-by: Johannes Lund <johannes.lund@iohk.io>
- Loading branch information