[PR #1908] [CLOSED] Merge pull request #1 from microsoft/master #24705

Open
opened 2026-01-31 09:04:52 +00:00 by claunia · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/microsoft/terminal/pull/1908
Author: @LordGenry
Created: 7/10/2019
Status: ❌ Closed

Base: master ← Head: master


📝 Commits (1)

  • ba76a6c Merge pull request #1 from microsoft/master

📄 Description

Release v0.2


🔄 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/microsoft/terminal/pull/1908 **Author:** [@LordGenry](https://github.com/LordGenry) **Created:** 7/10/2019 **Status:** ❌ Closed **Base:** `master` ← **Head:** `master` --- ### 📝 Commits (1) - [`ba76a6c`](https://github.com/microsoft/terminal/commit/ba76a6cf05c32bd6ecb29237e3926e5e310c550a) Merge pull request #1 from microsoft/master ### 📄 Description Release v0.2 --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
claunia added the pull-request label 2026-01-31 09:04:52 +00:00
Sign in to join this conversation.
No Label pull-request
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#24705