mirror of
https://github.com/VSCodium/vscodium.github.io.git
synced 2026-04-10 20:50:00 -05:00
[PR #8] [MERGED] Package name (deb) has changed #93
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/VSCodium/vscodium.github.io/pull/8
Author: @carstev
Created: 6/8/2019
Status: ✅ Merged
Merged: 6/9/2019
Merged by: @PalinuroSec
Base:
master← Head:patch-1📝 Commits (1)
8b4c382Package name (deb) has changed📊 Changes
1 file changed (+1 additions, -1 deletions)
View changed files
📝
_posts/2000-01-05-install.md(+1 -1)📄 Description
https://gitlab.com/paulcarroty/vscodium-deb-rpm-repo/issues/12
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.