[PR #32] [MERGED] Upgrade to the 2018 edition #263

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

📋 Pull Request Information

Original PR: https://github.com/bootandy/dust/pull/32
Author: @mvertescher
Created: 10/26/2019
Status: Merged
Merged: 10/27/2019
Merged by: @bootandy

Base: masterHead: update-edition


📝 Commits (1)

  • 99003cb Upgrade to the 2018 edition

📊 Changes

2 files changed (+2 additions, -1 deletions)

View changed files

📝 Cargo.toml (+1 -0)
📝 src/display.rs (+1 -1)

📄 Description

A small change to update to the newest edition of Rust.


🔄 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/32 **Author:** [@mvertescher](https://github.com/mvertescher) **Created:** 10/26/2019 **Status:** ✅ Merged **Merged:** 10/27/2019 **Merged by:** [@bootandy](https://github.com/bootandy) **Base:** `master` ← **Head:** `update-edition` --- ### 📝 Commits (1) - [`99003cb`](https://github.com/bootandy/dust/commit/99003cbba9f0867d7f28a50d5e48a1b09a482f6b) Upgrade to the 2018 edition ### 📊 Changes **2 files changed** (+2 additions, -1 deletions) <details> <summary>View changed files</summary> 📝 `Cargo.toml` (+1 -0) 📝 `src/display.rs` (+1 -1) </details> ### 📄 Description A small change to update to the newest edition of Rust. --- <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:26:34 +03:00
zhus closed this issue 2026-06-08 11:26:34 +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#263