[PR #5283] [MERGED] build: Add files `make uninstall` forgot to remove #5426

New issue

Closed

opened 2026-05-05 10:38:11 -06:00 by gitea-mirror · 0 comments

gitea-mirror commented

2026-05-05 10:38:11 -06:00

Owner

📋 Pull Request Information

Original PR: https://github.com/netblue30/firejail/pull/5283
Author: @remyabel2
Created: 8/1/2022
Status: ✅ Merged
Merged: 8/11/2022
Merged by: @kmk3

Base: master ← Head: make-uninstall

📝 Commits (1)

77208e0 Add files make uninstall forgot to remove

📊 Changes

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

View changed files

📝 Makefile (+4 -1)

📄 Description

There were a couple of files leftover after make uninstall. This
patch fixes that.

_{🔄 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/netblue30/firejail/pull/5283 **Author:** [@remyabel2](https://github.com/remyabel2) **Created:** 8/1/2022 **Status:** ✅ Merged **Merged:** 8/11/2022 **Merged by:** [@kmk3](https://github.com/kmk3) **Base:** `master` ← **Head:** `make-uninstall` --- ### 📝 Commits (1) - [`77208e0`](https://github.com/netblue30/firejail/commit/77208e0beb3350b7a7f1eb1690e1671f4b78d2a5) Add files `make uninstall` forgot to remove ### 📊 Changes **1 file changed** (+4 additions, -1 deletions) <details> <summary>View changed files</summary> 📝 `Makefile` (+4 -1) </details> ### 📄 Description There were a couple of files leftover after `make uninstall`. This patch fixes that. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

gitea-mirror

2026-05-05 10:38:11 -06:00

closed this issue
added the
pull-request
label

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: github-starred/firejail#5426

No description provided.

Rows
Columns

[PR #5283] [MERGED] build: Add files make uninstall forgot to remove #5426

📋 Pull Request Information

📝 Commits (1)

📊 Changes

📄 Description

[PR #5283] [MERGED] build: Add files `make uninstall` forgot to remove #5426