Subject: [PATCH] gnu: bemenu: Update to 0.6.15.

From: "jgart" <[email-masked]>
Date: Fri, 19 May 2023 14:10:52 +0000

Hi muradm,

Thanks for working on this. Much appreciated! I tested it and it works great. MERGED

all best,

jgart
quit