|
From: | GNU bug tracker automated control server |
Subject: | Processed: Merge duplicate |
Date: | Sat, 10 Aug 2024 04:51:02 -0400 |
Processing commands for control@debbugs.gnu.org: > merge 72538 72540 bug#72538: [PATCH] gnu: xmonad: Re-add xmonad.desktop file. bug#72540: [PATCH] gnu: xmonad: Re-add xmonad.desktop file Merged 72538 72540. > thanks Stopping processing here. Please contact help-debbugs@gnu.org if you need assistance. GNU bugs database, https://debbugs.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |