[PR #1988] [MERGED] Fix Clippy #2743

New issue

Closed

opened 2026-03-16 11:05:44 +03:00 by kerem · 0 comments

kerem commented

2026-03-16 11:05:44 +03:00

Owner

📋 Pull Request Information

Original PR: https://github.com/hickory-dns/hickory-dns/pull/1988
Author: @daxpedda
Created: 7/14/2023
Status: ✅ Merged
Merged: 7/14/2023
Merged by: @djc

Base: main ← Head: fix-clippy

📝 Commits (1)

698c5dd Fix Clippy

📊 Changes

1 file changed (+1 additions, -1 deletions)

View changed files

📝 crates/proto/src/rr/domain/name.rs (+1 -1)

📄 Description

Fixes the currently failing CI.

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/hickory-dns/hickory-dns/pull/1988 **Author:** [@daxpedda](https://github.com/daxpedda) **Created:** 7/14/2023 **Status:** ✅ Merged **Merged:** 7/14/2023 **Merged by:** [@djc](https://github.com/djc) **Base:** `main` ← **Head:** `fix-clippy` --- ### 📝 Commits (1) - [`698c5dd`](https://github.com/hickory-dns/hickory-dns/commit/698c5dd03db228351d8deb8041beded92a3f18dc) Fix Clippy ### 📊 Changes **1 file changed** (+1 additions, -1 deletions) <details> <summary>View changed files</summary> 📝 `crates/proto/src/rr/domain/name.rs` (+1 -1) </details> ### 📄 Description Fixes the currently failing CI. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>