Skip to content

dnsvizor: cleanups#2060

Merged
eljamm merged 2 commits into
ngi-nix:mainfrom
linj-fork:pr/dnsvizor-misc
Feb 9, 2026
Merged

dnsvizor: cleanups#2060
eljamm merged 2 commits into
ngi-nix:mainfrom
linj-fork:pr/dnsvizor-misc

Conversation

@jian-lin
Copy link
Copy Markdown
Contributor

@jian-lin jian-lin commented Feb 9, 2026

This is a follow-up improvement of #2018

  • dnsvizor: small cleanups
  • dnsvizor: remove unneeded removeReferencesTo

cc @ju1m @eljamm for review

No need to manually remove references after stripping all
symbols (stripAllList).
@eljamm eljamm merged commit 2481dc2 into ngi-nix:main Feb 9, 2026
13 checks passed
@github-project-automation github-project-automation Bot moved this to Done in Nix@NGI Feb 9, 2026
@jian-lin jian-lin deleted the pr/dnsvizor-misc branch February 9, 2026 15:33
@jian-lin jian-lin mentioned this pull request Feb 10, 2026
4 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants