Subject: Re: [bug#54585] [PATCH] gnu: gmid: Update to 1.8.2.

From: Leo Famulari <[email-masked]>
Date: Tue, 29 Mar 2022 13:10:25 -0400

On Sat, Mar 26, 2022 at 08:09:31PM +0100, cage wrote:
> ---
>  gnu/packages/web.scm | 7 +++----
>  1 file changed, 3 insertions(+), 4 deletions(-)
> 
> diff --git a/gnu/packages/web.scm b/gnu/packages/web.scm
> index 75aa5ce907..6222112da1 100644
> --- a/gnu/packages/web.scm
> +++ b/gnu/packages/web.scm
> @@ -7842,7 +7842,7 @@ (define-public librocket
>  (define-public gmid
>    (package
>      (name "gmid")
> -    (version "1.8.1")
> +    (version "1.8.2")

Thanks! I wrote the commit message on your behalf and pushed as
4b8500e7cbc4224a96dc4c8bd8fe740eca086a33