Skip to content

Delete dangling declaration#13770

Merged
Ericson2314 merged 1 commit intoNixOS:masterfrom
obsidiansystems:delete-wrong-decl
Aug 16, 2025
Merged

Delete dangling declaration#13770
Ericson2314 merged 1 commit intoNixOS:masterfrom
obsidiansystems:delete-wrong-decl

Conversation

@Ericson2314
Copy link
Copy Markdown
Member

Motivation

There is no definition associated with this.

Context


Add 👍 to pull requests you find important.

The Nix maintainer team uses a GitHub project board to schedule and track reviews.

There is no definition associated with this.
@Ericson2314 Ericson2314 enabled auto-merge August 16, 2025 15:44
@Ericson2314 Ericson2314 merged commit 0fd9ef0 into NixOS:master Aug 16, 2025
14 checks passed
@Ericson2314 Ericson2314 deleted the delete-wrong-decl branch August 16, 2025 15:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants