[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#73221: [PATCH] gnu: bemenu: Update to 0.6.23.
|
From: |
Ludovic Courtès |
|
Subject: |
bug#73221: [PATCH] gnu: bemenu: Update to 0.6.23. |
|
Date: |
Wed, 25 Sep 2024 18:00:06 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Timotej Lazar <timotej.lazar@araneo.si> skribis:
> * gnu/packages/xdisorg.scm (bemenu): Update to 0.6.23.
> [arguments]: Drop redundant make flags.
>
> Change-Id: Ia613c2be1c1af6c43adba4443ba9b99ed35dc0f0
Pushed as 6fd261b2e0446f3c80f5534371586dfcc12371d3.
(Tobias, please make sure to close such tickets. :-))
Ludo'.