[PR #133] [MERGED] Update extensionAllowedProposedApi prebuild #2131

Closed
opened 2025-09-10 23:56:16 -05:00 by giteasync · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/VSCodium/vscodium/pull/133
Author: @stripedpajamas
Created: 4/18/2019
Status: Merged
Merged: 4/18/2019
Merged by: @stripedpajamas

Base: masterHead: liveshare


📝 Commits (1)

  • 4ac72d1 Update extensionAllowedProposedApi prebuild

📊 Changes

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

View changed files

📝 build.sh (+1 -1)

📄 Description

Fixes #128 for future releases.


🔄 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/VSCodium/vscodium/pull/133 **Author:** [@stripedpajamas](https://github.com/stripedpajamas) **Created:** 4/18/2019 **Status:** ✅ Merged **Merged:** 4/18/2019 **Merged by:** [@stripedpajamas](https://github.com/stripedpajamas) **Base:** `master` ← **Head:** `liveshare` --- ### 📝 Commits (1) - [`4ac72d1`](https://github.com/VSCodium/vscodium/commit/4ac72d1b71758a548c8a61774b0db480c975fd55) Update extensionAllowedProposedApi prebuild ### 📊 Changes **1 file changed** (+1 additions, -1 deletions) <details> <summary>View changed files</summary> 📝 `build.sh` (+1 -1) </details> ### 📄 Description Fixes #128 for future releases. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
giteasync added the
pull-request
label 2025-09-10 23:56:16 -05:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: VSCodium/vscodium#2131
No description provided.