Subject: Re: [bug#69371] [PATCH] gnu: Add wmenu.
From: 宋文武 <[email-masked]>
To: Zheng Junjie <[email-masked]>
Cc: [email-masked]
Date: Tue, 19 Mar 2024 19:18:05 +0800
List-Id: <debbugs-submit.debbugs.gnu.org>

Zheng Junjie <[email-masked]> writes:

> * gnu/packages/wm.scm (wmenu): New variable.
>

Pushed as d67b764ceb, with synopsis and description adjusted, thank you!