[PR #251] [MERGED] Cleanup previous PR #384

Closed
opened 2026-06-08 11:27:44 +03:00 by zhus · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/bootandy/dust/pull/251
Author: @bootandy
Created: 8/23/2022
Status: Merged
Merged: 8/23/2022
Merged by: @bootandy

Base: masterHead: cleanup


📝 Commits (1)

  • c52f30d Cleanup: Clean previous commit.

📊 Changes

3 files changed (+4 additions, -9 deletions)

View changed files

📝 build.rs (+1 -2)
📝 src/cli.rs (+1 -2)
📝 src/main.rs (+2 -5)

📄 Description

Dislike the idea of passing a string into build_cli. By removing a call to default_value we can side-step the problem.


🔄 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/bootandy/dust/pull/251 **Author:** [@bootandy](https://github.com/bootandy) **Created:** 8/23/2022 **Status:** ✅ Merged **Merged:** 8/23/2022 **Merged by:** [@bootandy](https://github.com/bootandy) **Base:** `master` ← **Head:** `cleanup` --- ### 📝 Commits (1) - [`c52f30d`](https://github.com/bootandy/dust/commit/c52f30d5467c5c59250f72bacbe9811169dab16f) Cleanup: Clean previous commit. ### 📊 Changes **3 files changed** (+4 additions, -9 deletions) <details> <summary>View changed files</summary> 📝 `build.rs` (+1 -2) 📝 `src/cli.rs` (+1 -2) 📝 `src/main.rs` (+2 -5) </details> ### 📄 Description Dislike the idea of passing a string into build_cli. By removing a call to default_value we can side-step the problem. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
zhus added the pull-request label 2026-06-08 11:27:44 +03:00
zhus closed this issue 2026-06-08 11:27:45 +03:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: bootandy/archived-dust#384