Subject: Re: [bug#61899] [PATCH 1/1] gnu: widelands: Update to 1.1.
From: Leo Famulari <[email-masked]>
To: Vivien Kraus via Guix-patches via <[email-masked]>
Cc: [email-masked]
Date: Fri, 3 Mar 2023 20:49:37 -0500
List-Id: <debbugs-submit.debbugs.gnu.org>

On Wed, Mar 01, 2023 at 08:30:28PM +0100, Vivien Kraus via Guix-patches via wrote:
> * gnu/local.mk (dist_patch_DATA): Drop wideland patches.
> * gnu/packages/games.scm (widelands): Update to 1.1 and drop patches.
> [native-inputs]: Add pkg-config.
> [inputs]: Add boost::asio.

Thanks! I tweaked the commit message and pushed as
1b07f397dc17e31ad55b80a4efd34fdcb5b3c690