[PR #193] [MERGED] Drop unnecessary lifetime #198

New issue

Closed

opened 2026-02-27 10:16:08 +03:00 by kerem · 0 comments

kerem commented

2026-02-27 10:16:08 +03:00

Owner

📋 Pull Request Information

Original PR: https://github.com/matze/wastebin/pull/193
Author: @cgzones
Created: 12/13/2025
Status: ✅ Merged
Merged: 12/13/2025
Merged by: @matze

Base: master ← Head: clippy

📝 Commits (1)

7bd65a6 Drop unnecessary lifetime

📊 Changes

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

View changed files

📝 crates/wastebin_highlight/src/highlight.rs (+1 -1)

📄 Description

Suggested by clippy.

_{🔄 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/matze/wastebin/pull/193 **Author:** [@cgzones](https://github.com/cgzones) **Created:** 12/13/2025 **Status:** ✅ Merged **Merged:** 12/13/2025 **Merged by:** [@matze](https://github.com/matze) **Base:** `master` ← **Head:** `clippy` --- ### 📝 Commits (1) - [`7bd65a6`](https://github.com/matze/wastebin/commit/7bd65a66183372f3c6aff2cdbe2f2608618f8712) Drop unnecessary lifetime ### 📊 Changes **1 file changed** (+1 additions, -1 deletions) <details> <summary>View changed files</summary> 📝 `crates/wastebin_highlight/src/highlight.rs` (+1 -1) </details> ### 📄 Description Suggested by clippy. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>